Search the dblp DataBase

Publications of Author

1. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
   The Categorical Abstract Machine. [Citation Graph (2, 0)][DBLP]
   FPCA, 1985, pp:50-64 [Conf]
   
2. Daniel de Rauglaudre, Michel Mauny
   Parsers in ML. [Citation Graph (1, 0)][DBLP]
   LISP and Functional Programming, 1992, pp:76-85 [Conf]
   
3. Xavier Leroy, Michel Mauny
   Dynamics in ML. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:406-426 [Conf]
   
4. Michel Mauny
   Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. [Citation Graph (0, 0)][DBLP]
   FPCA, 1989, pp:360-370 [Conf]
   
5. Emilie Sayag, Michel Mauny
   Characterization of the Principal Type of Normal Forms in an Intersection Type System. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1996, pp:335-346 [Conf]
   
6. Michel Mauny, Ascánder Suárez
   Implementing Functional Languages in the Categorical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   LISP and Functional Programming, 1986, pp:266-278 [Conf]
   
7. Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
   Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:85-103 [Conf]
   
8. Yong Xiao, Zena M. Ariola, Michel Mauny
   From Syntactic Theories to Interpreters: A Specification Language and Its Compilation [Citation Graph (0, 0)][DBLP]
   CoRR, 2000, v:0, n:, pp:- [Journal]
   
9. Xavier Leroy, Michel Mauny
   Dynamics in ML. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1993, v:3, n:4, pp:431-463 [Journal]
   
10. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
    The Categorical Abstract Machine. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:2, pp:173-202 [Journal]
    
11. Grégoire Henry, Michel Mauny, Emmanuel Chailloux
    Typer la dé-sérialisation sans sérialiser les types [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]