Commit 0355289c authored by REMY Didier's avatar REMY Didier

semi-unification internship

parent 17c12d93
......@@ -11,16 +11,16 @@ We have posted the following proposals:
co-advised by Arthur Charguéraud (Inria, Strasbourg) and François Pottier
(Inria, Paris).
* [Sharing and Unsharing in Hindley
Milner](http://gallium.inria.fr/~remy/stages/sharing-master.pdf)
advised by Didier Rémy (Inria, Paris)
Milner](http://gallium.inria.fr/~remy/stages/sharing-master.pdf),
advised by Didier Rémy (Inria, Paris).
* [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)
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)
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
Please, do not hesitate to talk to us during the break or
at the end of each lecture,
to contact us by email,
or to visit us at our offices.
......
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