( en | de | ru )

 

Disambiguierung von "MacQueen, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The history of Standard ML.

, , und . Proc. ACM Program. Lang., 4 (HOPL): 86:1-86:100 (2020)

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.

Graeme MacQueen

Donald Sims MacQueen

Bodo David

Erich David

Ernst David

 

Weitere Publikationen von Autoren mit dem selben Namen

A Rewriting Semantics for Type Inference., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 426-440. Springer, (2007)Efficient type inference using ranked type variables., und . ML, Seite 3-14. ACM, (2007)Engineering Higher-Order Modules in SML/NJ., und . IFL, Volume 6041 von Lecture Notes in Computer Science, Seite 218-235. Springer, (2009)The history of Standard ML., , und . Proc. ACM Program. Lang., 4 (HOPL): 86:1-86:100 (2020)Standard ML of New Jersey., und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1991)Should ML be Object-Oriented?. Formal Aspects Comput., 13 (3-5): 214-232 (2002)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)Coroutines and Networks of Parallel Processes., und . IFIP Congress, Seite 993-998. (1977)