( en | de | ru )

 

Disambiguation of "MacQueen, David B."

Author of the publication

copydeleteadd this publication to your clipboard
Separate Compilation for Standard ML.

, and . PLDI, page 13-23. ACM, (1994)

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.

David B Adler

David B Dollenmayer

Graeme MacQueen

Donald Sims MacQueen

B Vlavianos

 

Other publications of authors with the same name

Coroutines and Networks of Parallel Processes., and . IFIP Congress, page 993-998. (1977)Standard ML of New Jersey., and . PLILP, volume 528 of Lecture Notes in Computer Science, page 1-13. Springer, (1991)Separate Compilation for Standard ML., and . PLDI, page 13-23. ACM, (1994)A Semantic Model of Types for Applicative Languages., and . Symposium on LISP and Functional Programming, page 243-252. ACM, (1982)An Ideal Model for Recursive Polymorphic Types., , and . POPL, page 165-174. ACM Press, (1984)Persistence and Type Abstraction., and . Data Types and Persistence (Appin), page 31-41. Springer, (1985)A Semantics for Higher-Order Functors., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 409-423. Springer, (1994)An Ideal Model for Recursive Polymorphic Types, , and . Inf. Control., 71 (1/2): 95-130 (October 1986)An Abstract Interpretation for ML Equality Kinds., , and . TACS, volume 526 of Lecture Notes in Computer Science, page 112-130. Springer, (1991)Reflections on Standard ML.. Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 32-46. Springer, (1993)