 | 2009 |
|---|
| 4 |       | 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 |
| 2008 |
|---|
| 3 | | Pascal Cuoq,
Damien Doligez:
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.
ML 2008: 13-22 |
| 2001 |
|---|
| 2 | | Pascal Cuoq,
Marc Pouzet:
Modular Causality in a Synchronous Stream Language.
ESOP 2001: 237-251 |
| 1 |  | Pascal Cuoq,
Marc Pouzet:
Causalité modulaire dans un langage de flots synchrone.
JFLA 2001: 113-128 |
