Commit a8276afc authored by REMY Didier's avatar REMY Didier

semi-unification internship

parents 0355289c 8508d673
......@@ -7,7 +7,7 @@ This page supplements
We have posted the following proposals:
* [Verifying Chunked Sequences](http://gallium.inria.fr/~fpottier/stages/sujet2020-m2.pdf),
* [Verification of Chunk Sequences](http://gallium.inria.fr/~fpottier/stages/sujet2020-m2.pdf),
co-advised by Arthur Charguéraud (Inria, Strasbourg) and François Pottier
(Inria, Paris).
* [Sharing and Unsharing in Hindley
......
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