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