Garrigue, Jacques
VIAF ID: 1235498 ( Personal )
Permalink: http://viaf.org/viaf/1235498
Preferred Forms
- 100 1 _ ‡a Garrigue, Jacques
- 100 1 _ ‡a Garrigue, Jacques
-
- 100 1 _ ‡a Garrigue, Jacques
- 100 1 _ ‡a Garrigue, Jacques
-
- 100 1 _ ‡a Garrigue, Jacques
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
FLOPS 2008 | |
Functional and logic programming, c2008: | |
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP'16) | |
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings | |
Relaxing the value restriction | |
Vérification des résultats de l'inférence de types du langage OCaml |