Skip to main content
FUN MOOC
  • FAQ
  • Home
  • News
  • Courses
  • GRADEO
  • Diplômes
  • Organizations
  • 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é de Paris
Course code56002
Course date Archived
FacebookTwitterLinkedin

Learn more

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