Mathematical Structures in Computer Science, 2008. ,
Specifying the unboxability check on mutually recursive datatypes in OCaml, 2018. ,
Relaxing the value restriction, FLOPS, 2004. ,
Abstract representation of binders in ocaml using the bindlib library, LFMTP, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01972050
Efficient data representation in polymorphic languages, PLILP, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-01499983
Unboxed objects and polymorphic typing, POPL, 1992. ,
URL : https://hal.archives-ouvertes.fr/hal-01499973
Untagged data in tagged environments: Choosing optimal representations at compile time, FPCA, 1989. ,
Unboxed values as first class citizens in a nonstrict functional language, FPCA, 1991. ,
Gadts meet subtyping, ESOP, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01093816
A constraint-based approach to guarded algebraic data types, TOPLAS, 2007. ,