BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × United Kingdom
8 × USA
Collaborated with:
A.W.Appel R.Sethi M.Tofte B.F.Duba R.Harper G.D.Plotkin R.M.Burstall D.Sannella
Talks about:
ml (6) standard (5) type (4) languag (2) semant (2) compil (2) applic (2) modul (2) model (2) experiment (1)

Person: David B. MacQueen

DBLP DBLP: MacQueen:David_B=

Facilitated 1 volumes:

POPL 1998Ed

Contributed to:

ESOP 19941994
PLDI 19941994
PLILP 19911991
POPL 19911991
LFP 19881988
FPCA 19871987
POPL 19861986
LFP 19841984
POPL 19841984
LFP 19821982
LISP 19801980

Wrote 11 papers:

ESOP-1994-MacQueenT #higher-order #semantics
A Semantics for Higher-Order Functors (DBM, MT), pp. 409–423.
PLDI-1994-AppelM #compilation #ml #standard
Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.
PLILP-1991-AppelM #ml #standard
Standard ML of New Jersey (AWA, DBM), pp. 1–13.
POPL-1991-DubaHM #continuation #ml #type system
Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.
LFP-1988-MacQueen #implementation #ml #standard
An Implementation of Standard ML Modules (DBM), pp. 212–223.
FPCA-1987-AppelM #compilation #ml #standard
A Standard ML compiler (AWA, DBM), pp. 301–324.
POPL-1986-MacQueen #composition #dependent type #using
Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.
LFP-1984-MacQueen #ml #standard
Modules for Standard ML (DBM), pp. 198–207.
POPL-1984-MacQueenPS #polymorphism #recursion
An Ideal Model for Recursive Polymorphic Types (DBM, GDP, RS), pp. 165–174.
LFP-1982-MacQueenS #semantics
A Semantic Model of Types for Applicative Languages (DBM, RS), pp. 243–252.
LISP-1980-BurstallMS #named
HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.