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