From post

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.

 

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

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