Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David B. MacQueen
A Standard ML Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Critique of Standard ML
Journal of Functional Programming
Software
Towards a Mechanized Metatheory of Standard ML
A Type-Theoretic Interpretation of Standard ML
Implementing Visualization of Term Rewriting Computation in Standard ML
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
The META-T Compiler-Compiler
The META-T Compiler-Compiler
Towards a Compiler for Reals
ACM Transactions on Programming Languages and Systems
Software
Compiler Construction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying a Compiler for Java Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
