Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrew W. Appel

Position Paper: The Science of Deep Specification

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

A Critique of Standard ML

Journal of Functional Programming

English

A Standard ML Compiler

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Type-Preserving Garbage Collectors

ACM SIGPLAN Notices

English

Foundational Proof Checkers With Small Witnesses

English

A Provably Sound TAL for Back-End Optimization

English