David B. MacQueen

发表

David B. MacQueen, 2002, Formal Aspects of Computing.
Andrew W. Appel, David B. MacQueen, A. Appel, 1991, PLILP.
David B. MacQueen, 1984, LFP '84.
Andrew W. Appel, David B. MacQueen, A. Appel, 1994, PLDI '94.
David B. MacQueen, 1986, POPL '86.
Mads Tofte, David B. MacQueen, 1994, ESOP.
Ravi Sethi, David B. MacQueen, 1982, LFP '82.
Leo Harrington, David B. MacQueen, 1976, J. Symb. Log..
Luca Cardelli, David B. MacQueen, L. Cardelli, 1998, POPL 1998.
Luca Cardelli, David B. MacQueen, 1985, Data Types and Persistence , Informal Proceedings.
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen, 1993, Inf. Comput..
David B. MacQueen, 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.
David B. MacQueen, 1988, LISP and Functional Programming.
Donald Sannella, David B. MacQueen, 1985, IEEE Transactions on Software Engineering.
Gilles Kahn, David B. MacQueen, G. Kahn, 1977, IFIP Congress.
Gordon D. Plotkin, Ravi Sethi, David B. MacQueen, 1986, Inf. Control..
Robert Harper, David B. MacQueen, Bruce F. Duba, 1991, POPL '91.
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen, 1991, TACS.
Gordon D. Plotkin, Ravi Sethi, David B. MacQueen, 1984, Inf. Control..
Andrew W. Appel, David B. MacQueen, 1987, FPCA.
Robert Harper, David B. MacQueen, Bruce F. Duba, 1991, POPL '91.
David B. MacQueen, R. Milner, R. Harper, 1997 .
David B. MacQueen, R. Harper, F. Duba, 2022 .
Gordon Plotkin, David MacQueen, David B. MacQueen, 1984, Lecture Notes in Computer Science.
Robin Milner, David MacQueen, David B. MacQueen, 1986 .
Robert Harper, John H. Reppy, John Reppy, 2020, Proc. ACM Program. Lang..
Robert Bruce Findler, David B. MacQueen, George Kuan, 2007, ESOP.
Rod M. Burstall, David MacQueen, Donald Sannella, 1980, LISP Conference.
David B. MacQueen, David MacQueen, 1990 .
Andrew W. Appel, Xavier Leroy, Karl Crary, 2000 .
Robin Milner, Mads Tofte, Robert Harper, 1997 .
Walid Taha, David MacQueen, David B. MacQueen, 1998 .
Robin Milner, Mads Tofte, Robert Harper, 1997 .