tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

urls

Browse source
This commit is contained in:
REMY Didier 2017-09-14 15:20:36 +02:00
parent 85ceb49c7d
commit 88a9804cab
1 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
README.md
View file

@ -93,29 +93,29 @@ Although the course has changed, you may still have a look at
Previous exams available with solutions: Previous exams available with solutions:
- mid-term exam 2016-2017: - mid-term exam 2016-2017:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2016-2017.pdf](Record concatenation) [(Record concatenation](http://gallium.inria.fr/~remy/mpri/exams/partiel-2016-2017.pdf)
- mid-term exam 2015-2016: - mid-term exam 2015-2016:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2015-2016.pdf](Type containment) [(Type containment](http://gallium.inria.fr/~remy/mpri/exams/partiel-2015-2016.pdf)
- final exam 2014-2015: [http://gallium.inria.fr/~remy/mpri/exams/final-2014-2015.pdf {Copatterns}](subject) - final exam 2014-2015: [(subject](http://gallium.inria.fr/~remy/mpri/exams/final-2014-2015.pdf {Copatterns})
- mid-term exam 2014-2015: - mid-term exam 2014-2015:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2014-2015.pdf](Information flow) [(Information flow](http://gallium.inria.fr/~remy/mpri/exams/partiel-2014-2015.pdf)
- final exam 2013-2014: - final exam 2013-2014:
[http://gallium.inria.fr/~remy/mpri/exams/final-2013-2014.pdf](Operation on records) [(Operation on records](http://gallium.inria.fr/~remy/mpri/exams/final-2013-2014.pdf)
- mid-term exam 2013-2014: - mid-term exam 2013-2014:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2013-2014.pdf](Typechecking Effects) [(Typechecking Effects](http://gallium.inria.fr/~remy/mpri/exams/partiel-2013-2014.pdf)
- final exam 2012-2013: - final exam 2012-2013:
[http://gallium.inria.fr/~remy/mpri/exams/final-2012-2013.pdf](Refinement types) [(Refinement types](http://gallium.inria.fr/~remy/mpri/exams/final-2012-2013.pdf)
- mid-term exam 2012-2013: - mid-term exam 2012-2013:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2012-2013.pdf](Variations on ML) [(Variations on ML](http://gallium.inria.fr/~remy/mpri/exams/partiel-2012-2013.pdf)
- final exam 2011-2012: - final exam 2011-2012:
[http://gallium.inria.fr/~remy/mpri/exams/final-2011-2012.pdf](Intersection types) [(Intersection types](http://gallium.inria.fr/~remy/mpri/exams/final-2011-2012.pdf)
- mid-term exam 2011-2012: - mid-term exam 2011-2012:
[http://gallium.inria.fr/~remy/mpri/exams/partiel-2011-2012.pdf](Parametricity) [(Parametricity](http://gallium.inria.fr/~remy/mpri/exams/partiel-2011-2012.pdf)
- final exam 2010-2011: - final exam 2010-2011:
[http://gallium.inria.fr/~xleroy/mpri/2-4/exam-2010-2011.pdf](Compiling a language with subtyping) [(Compiling a language with subtyping](http://gallium.inria.fr/~xleroy/mpri/2-4/exam-2010-2011.pdf)
- mid-term exam 2010-2011: - mid-term exam 2010-2011:
[http://gallium.inria.fr/~remy/mpri/exams/2010/partiel-2010-2011.pdf](Compilation [(Compilation
of polymorphic records) of polymorphic records](http://gallium.inria.fr/~remy/mpri/exams/2010/partiel-2010-2011.pdf)
## Recommended software ## Recommended software