Skip to main content
FUN MOOC
  • News
  • Courses
  • FormaPro
  • Organizations
  • About FUN
  • FAQ
  • You are here:
  • Home
  • Yann Regis-Gianas

Yann Regis-Gianas

Yann Régis-Gianas teaches computer science at Université Paris-Diderot.
Yann Regis-Gianas avatar
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.

Courses

Introduction to Functional Programming in OCaml

OrganizationUniversité Paris Cité
Course code56002
Course date Archived
The entire course can be completed without cost.
FacebookTwitterLinkedin

Learn more

  • Help and contact
  • About FUN
  • Newsletters
  • Legal
  • Privacy policy
  • User's charter
  • General Terms and Conditions of Use
  • Sitemap
  • Cookie management
Logo FUN Mooc powered by Richie