Interface between FNC-2 and Caml systems
Didier PARIGOT
List of References
- Caml system
List of Papers
- Gilles Le Bātard.
Réalisation dans le système FNC-2 d'un traducteur vers ML.
rapport de stage de ma^itrise, IFI, Université de Marne-la-Vallée,
July 1995.
Web page maintained by Didier
Parigot
Last modified: Fri Apr 11 13:52:50 1997
