Yann Regis-Gianas

Yann Régis-Gianas teaches computer science at Université Paris-Diderot. His research at the PPS laboratory focuses on the theory and the design of programming languages. He did his PhD in the INRIA team that develops OCaml and is now in the development team of the Coq proof assistant.

Filter Courses within "Yann Regis-Gianas" (Click to filter)
Reset Filters | Advanced Global Search
Introduction to Functional Programming in OCaml (FUN) FUN
Université Paris Diderot

Introduction to Functional Programming in OCaml (FUN)

CS: Software Engineering CS: Programming

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
Programming Data Structures Functional Programming
Details
Page 1