BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × United Kingdom
3 × USA
Collaborated with:
D.d.Rauglaudre X.Leroy A.Suárez G.Cousineau P.Curien G.Henry E.Chailloux P.Manoury
Talks about:
function (2) abstract (2) languag (2) categor (2) parser (2) machin (2) type (2) ml (2) constructor (1) destructor (1)

Person: Michel Mauny

DBLP DBLP: Mauny:Michel

Contributed to:

ICFP 20122012
LFP 19921992
FPCA 19911991
FPCA 19891989
LFP 19861986
FPCA 19851985

Wrote 6 papers:

ICFP-2012-HenryMCM #type system
Typing unmarshalling without marshalling types (GH, MM, EC, PM), pp. 287–298.
LFP-1992-RauglaudreM #ml #parsing
Parsers in ML (DdR, MM), pp. 76–85.
FPCA-1991-LeroyM #ml
Dynamics in ML (XL, MM), pp. 406–426.
FPCA-1989-Mauny #embedded #functional #parsing
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
LFP-1986-MaunyS #automaton #category theory #functional #implementation
Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.
FPCA-1985-CousineauCM85 #automaton #category theory
The Categorical Abstract Machine (GC, PLC, MM), pp. 50–64.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.