Commit 8508d673 authored by POTTIER Francois's avatar POTTIER Francois

Change title of internship proposal.

parent 9b732625
......@@ -7,14 +7,14 @@ This page supplements
We have posted the following proposals:
* [Verifying Chunked Sequences](,
* [Verification of Chunk Sequences](,
co-advised by Arthur Charguéraud (Inria, Strasbourg) and François Pottier
(Inria, Paris).
* [Sharing and Unsharing in Hindley
advised by Didier Rémy (Inria, Paris)
* [Propagation of type annotations in Hindley Milner based
advised by Didier Rémy (Inria, Paris)
Please do not hesitate to talk to us during the break or
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