Commit 17c12d93 authored by REMY Didier's avatar REMY Didier

semi-unification internship

parent 9b732625
......@@ -16,6 +16,9 @@ We have posted the following proposals:
* [Propagation of type annotations in Hindley Milner based
type-systems](http://gallium.inria.fr/~remy/stages/propagation-master.pdf)
advised by Didier Rémy (Inria, Paris)
* [MLF type inference and
semi-unification](http://gallium.inria.fr/~scherer/topics/low-level-ocaml.pdf)
advised by Didier Rémy (Inria, Paris)
Please do not hesitate to talk to us during the break or
at the end of each lecture,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment