Author of the publication

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.

 

Other publications of authors with the same name

Parsers in ML., and . LISP and Functional Programming, page 76-85. ACM, (1992)Characterization of the Principal Type of Normal Forms in an Intersection Type System., and . FSTTCS, volume 1180 of Lecture Notes in Computer Science, page 335-346. Springer, (1996)Generic Programming in OCaml., and . ML/OCAML, volume 285 of EPTCS, page 59-100. (2016)Combinateures, Catégoriques et Implémentation des Languages Fonctionnels., , , and . Combinators and Functional Programming Languages, volume 242 of Lecture Notes in Computer Science, page 85-103. Springer, (1985)The Categorical Abstract Machine., , and . FPCA, volume 201 of Lecture Notes in Computer Science, page 50-64. Springer, (1985)The functional approach to programming., and . Cambridge University Press, (1998)A Type Inference System Based on Saturation of Subtyping Constraints., and . TFP, volume 10447 of Lecture Notes in Computer Science, page 94-112. Springer, (2016)Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages.. FPCA, page 360-370. ACM, (1989)From Syntactic Theories to Interpreters: A Specification Language and Its Compilation, , and . CoRR, (2000)The functional approach to programming. Cambridge University Press, Cambridge, U.K.; New York, NY, USA, (1998)