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.




Customize your search:

E.g., 2016-12-06
E.g., 2016-12-06
E.g., 2016-12-06
Sep 26th 2016

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 programs.

No votes yet