( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Le langage Caml

, и . InterEditions, (1994)

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.

Xavier Leroy

Esther Leroy

Antoine Leroy

Herbert Leroy

Janis Leroy

 

Другие публикации лиц с тем же именем

The Objective Caml system release 3.09; Documentation and user's manual, , , и . Institut National de Recherche en Informatique et en Automatique, Rocquencourt, Paris, (октября 2005)Le langage Caml, и . InterEditions, (1994)Verified code generation for the polyhedral model., и . Proc. ACM Program. Lang., 5 (POPL): 1-24 (2021)Abstract Types and the Dot Notation., и . Programming Concepts and Methods, стр. 479-504. North-Holland, (1990)A compiled implementation of strong reduction, и . International Conference on Functional Programming 2002, стр. 235-246. ACM Press, (2002)Preface., и . ML, том 148 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2005)The Objective Caml system, Documentation and user's manual, , , , и . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.