( en | de | ru )

 

Disambiguation of "Garrigue, Jacques"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Jacques Latta

Jacques Neumann

Jacques Clees

Jacques Minlo

Jacques Rakotondranary

 

Other publications of authors with the same name

Typed compositional quantum computation with lenses., and . CoRR, (2023)Ambivalent Types for Principal Type Inference with GADTs., and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 257-272. Springer, (2013)The Objective Caml system, Documentation and user's manual, , , , and . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory., and . ITP, volume 9236 of Lecture Notes in Computer Science, page 17-33. Springer, (2015)A trustful monad for axiomatic reasoning with probability and nondeterminism., , , and . J. Funct. Program., (2021)Recursive modules for programming., and . ICFP, page 74-86. ACM, (2006)Typed Compositional Quantum Computation with Lenses., and . ITP, volume 309 of LIPIcs, page 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)A Certified Implementation of ML with Structural Polymorphism.. APLAS, volume 6461 of Lecture Notes in Computer Science, page 360-375. Springer, (2010)Extending ML with Semi-Explicit Higher-Order Polymorphism., and . TACS, volume 1281 of Lecture Notes in Computer Science, page 20-46. Springer, (1997)A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism., , , and . CoRR, (2020)