 | 2009 |
|---|
| 5 |       | Pascal Cuoq,
Julien Signoles,
Patrick Baudin,
Richard Bonichon,
Géraud Canet,
Loïc Correnson,
Benjamin Monate,
Virgile Prevosto,
Armand Puccetti:
Experience report: OCaml for an industrial-strength static analysis framework.
ICFP 2009: 281-286 |
| 2000 |
|---|
| 4 |  | Loïc Correnson:
Equational Semantics.
Informatica (Slovenia) 24(3): (2000) |
| 1999 |
|---|
| 3 | | Loïc Correnson,
Étienne Duris,
Didier Parigot,
Gilles Roussel:
Declarative Program Transformation: A Deforestation Case-Study.
PPDP 1999: 360-377 |
| 2 | | Loïc Correnson,
Étienne Duris,
Didier Parigot,
Gilles Roussel:
Equational Semantics.
SAS 1999: 264-283 |
| 1997 |
|---|
| 1 | | Loïc Correnson,
Étienne Duris,
Didier Parigot,
Gilles Roussel:
Attribute Grammars and Functional Programming Deforestation.
SAS 1997: 365 |
