The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Mauny: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002