( en | de | ru )

 

Disambiguation of "Leroy, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004

, and (Eds.) ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xavier Leroy

Esther Leroy

Antoine Leroy

Herbert Leroy

Janis Leroy

 

Other publications of authors with the same name

A compiled implementation of strong reduction, and . International Conference on Functional Programming 2002, page 235-246. ACM Press, (2002)Verified code generation for the polyhedral model., and . Proc. ACM Program. Lang., 5 (POPL): 1-24 (2021)Efficient Extensional Binary Tries., and . J. Autom. Reason., 67 (1): 8 (March 2023)Abstract Types and the Dot Notation., and . Programming Concepts and Methods, page 479-504. North-Holland, (1990)The Objective Caml system release 3.09; Documentation and user's manual, , , and . Institut National de Recherche en Informatique et en Automatique, Rocquencourt, Paris, (October 2005)Le langage Caml, and . InterEditions, (1994)Efficient Extensional Binary Tries., and . CoRR, (2021)A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)., and . LFMTP@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 95-108. Elsevier, (2006)Preface., and . ML, volume 148 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2005)The Objective Caml system, Documentation and user's manual, , , , and . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.