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.

Filter Courses within "Ralf Treinen" (Click to filter)
Introduction to Functional Programming in OCaml (FUN) FUN
Université Paris Diderot

Introduction to Functional Programming in OCaml (FUN)

Dive into the world of Functional Programming with our beginner-friendly 'Introduction to Functional Programming in OCaml' course. Master the art of writing efficient, elegant, and concise code as you explore the OCaml language. Perfect for developers looking to expand their programming paradigms and create more powerful applications.

No sessions available
5-12 Weeks
Page 1