Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Patterson
The Next 700 Compiler Correctness Theorems (Functional Pearl)
Proceedings of the ACM on Programming Languages
Related publications
The Next 700 Impossibility Results in Time-Varying Graphs
International Journal of Networking and Computing
Functional Pearl: The Proof Search Monad
Proof Automation for Functional Correctness in Separation Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Algebraic Graphs With Class (Functional Pearl)
The META-T Compiler-Compiler
The META-T Compiler-Compiler
Correctness of Non-Determinism Analyses in a Parallel-Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparison Theorems for Functional Differential Equations
Mathematische Nachrichten
Mathematics
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
