Autor der Publikation

Standard ML of New Jersey.

, und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Coroutines and Networks of Parallel Processes., und . IFIP Congress, Seite 993-998. (1977)A Semantic Model of Types for Applicative Languages., und . Symposium on LISP and Functional Programming, Seite 243-252. ACM, (1982)Separate Compilation for Standard ML., und . PLDI, Seite 13-23. ACM, (1994)Standard ML of New Jersey., und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1991)An Ideal Model for Recursive Polymorphic Types., , und . POPL, Seite 165-174. ACM Press, (1984)Persistence and Type Abstraction., und . Data Types and Persistence (Appin), Seite 31-41. Springer, (1985)A Semantics for Higher-Order Functors., und . ESOP, Volume 788 von Lecture Notes in Computer Science, Seite 409-423. Springer, (1994)An Ideal Model for Recursive Polymorphic Types, , und . Inf. Control., 71 (1/2): 95-130 (Oktober 1986)A Standard ML compiler., und . FPCA, Volume 274 von Lecture Notes in Computer Science, Seite 301-324. Springer, (1987)Modules for Standard ML.. LISP and Functional Programming, Seite 198-207. ACM, (1984)