Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tim Sheard
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Trustworthy Software: When Computers Serve as Proxies for Humans
Related publications
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimizing Equational Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Lambda Calculus With Algebraic Simplification for Reduction Parallelization by Equational Reasoning
Proceedings of the ACM on Programming Languages
Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
SSRN Electronic Journal
Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Programs Using a Scientific Method
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Object-Oriented Programs That Use Subtypes
Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
