Michel Mauny

Statistics

Publications

Citations

146

H-Index

Active since

1986

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Michel Mauny is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and programming languages.

Publications per year

1986–2000

Publications

Dynamics in ML

Xavier Leroy, Michel Mauny · Journal of Functional Programming · 1993 · 65 citations · Full text

Computing, Computer Science, Dynamical Systems +15

The CAML reference manual

Pierre Weis, Maria Virginia Aponte, Alain Laville et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 35 citations · Full text

Engineering, Computer Science, Documentation +3

Implementing functional languages in the Categorical Abstract Machine

Michel Mauny, Ascánder Suárez · 1986 · 26 citations · Full text

Computing, Computer Science, Programming Languages +7

A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms

Emilie Sayag, Michel Mauny · OpenGrey (Institut de l'Information Scientifique et Technique) · 1996 · 10 citations · Full text

Computing, Computer Science, Formal Methods +14

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Yong Xiao, Zena M. Ariola, Michel Mauny · ArXiv.org · 2000 · 10 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 5