Introduction to Functional Programming in OCaml

Closed
Course
en
English
12 h
This content is rated 0 out of 5
Source
  • From www.fun-mooc.fr
Conditions
  • Free Access
  • Free certificate
More info
  • 6 Sequences
  • Intermediate Level
  • Starts on September 21, 2019
  • Ends on December 30, 2019

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

Course details

Prerequisite

This course will be held in English. To follow this course we expect from you that you have already some basic knowledge of informatics, in particular you should already know how to write simple computer programs in some programming language. For instance, you should know concepts like variables (or identifiers), functions (or procedures, methods), conditionals, and loops.

Instructors

Roberto Di Cosmo
Roberto Di Cosmo is professor of computer science at University Paris Diderot, director of Irill, currently on leave at INRIA. His research interests include functional and parallel programming, type systems, logic, rewriting, and the static analysis of large software collections.

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.

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.

Editor

Paris Diderot University - Paris 7, also known as Université Paris Diderot - Paris 7, is a leading French University located in Paris, France. It is one of the heirs of the Faculty of Sciences of the University of Paris (together with Paris 6), which, founded in the mid-12th century, was one of the earliest universities established in Europe. It adopted its current name in 1994.

Featuring two Nobel Prize laureates, a Fields Medal winner and two former French Ministers of Education among its faculty or former faculty, the University is famous for its teaching in science, especially in mathematics. Indeed many fundamental results of the theory of Probability have been discovered at one of its research centers, the Laboratoire de Probabilités et Modèles Aléatoires (Laboratory of Probability and Random Models). The university is also known for its teaching in psychology, which adopts a specific approach drawing from both the domains of psychopathology and psychoanalysis.

But the University also hosts many others disciplines: currently, there are 2300 educators and researchers, 1100 administrative personnel and 26,000 students studying humanities, science, and medicine.

Platform

France Université Numérique is the broadcaster of the online courses of French higher education institutions and their partners.

It operates several platforms of diffusion, of which the best known, FUN MOOC, is the first French-speaking academic platform worldwide. Thanks to many partner institutions, this platform offers a vast catalog of courses enriched daily with various themes and current events.

This content is rated 4.5 out of 5
(no review)
This content is rated 4.5 out of 5
(no review)
Complete this resource to write a review