( en | de | ru )

 

Disambiguierung von "MacQueen, David B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Separate Compilation for Standard ML.

, und . PLDI, Seite 13-23. ACM, (1994)

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.

David B Adler

David B Dollenmayer

Graeme MacQueen

Donald Sims MacQueen

B Vlavianos

 

Weitere Publikationen von Autoren mit dem selben Namen

Coroutines and Networks of Parallel Processes., und . IFIP Congress, Seite 993-998. (1977)Standard ML of New Jersey., und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1991)Separate Compilation for Standard ML., und . PLDI, Seite 13-23. ACM, (1994)A Semantic Model of Types for Applicative Languages., und . Symposium on LISP and Functional Programming, Seite 243-252. ACM, (1982)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)An Abstract Interpretation for ML Equality Kinds., , und . TACS, Volume 526 von Lecture Notes in Computer Science, Seite 112-130. Springer, (1991)Reflections on Standard ML.. Functional Programming, Concurrency, Simulation and Automated Reasoning, Volume 693 von Lecture Notes in Computer Science, Seite 32-46. Springer, (1993)