| 1 |
Merlin: a language server for OCaml (experience report)
|
|
|
|
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-01929161 ; Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Normalization by realizability also evaluates
|
|
|
|
In: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; https://hal.inria.fr/hal-01099138 ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France ; http://jfla.inria.fr/2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Macaque : Interrogation sûre et flexible de base de données depuis OCaml
|
|
|
|
In: Actes des 21ème journées francophones des langages applicatifs ; Ving et unième journées francophones des langages applicatifs ; https://hal.archives-ouvertes.fr/hal-00495977 ; Ving et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France (2010)
|
|
BASE
|
|
Show details
|
|
|
|
|
