Ralf Treinen

Ralf Treinen is professor of computer science at University Paris Diderot. Symbolic constraint solving, verification and application of formal methods to the quality assurance of software components are among his current research interests. He is also a member of Irill.

Sort options

Introduction to Functional Programming in OCaml (FUN)

No sessions available
 Introduction to Functional Programming in OCaml (FUN)
Free Course
Categories
Effort
Languages
Functional programming is a programming paradigm which is rapidly attracting interest from a broad range of developers because it allows to write expressive, concise and elegant programs. In this course you will discover the power of Functional Programming, using the OCaml language to write concise, efficient and elegant [...]