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: Mauny:Michel
Contributed to:
2012
1992
1991198919861985Wrote 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.