Sam Tobin-Hochstadt

Available identifiers

Publication	Date of Publication	Type
An extended account of contract monitoring strategies as patterns of communication	2018-08-03	Paper
From high-level inference algorithms to efficient code	2018-05-16	Paper
Higher order symbolic execution for contract verification and refutation	2017-10-23	Paper
Expressing contract monitors as patterns of communication	2017-05-10	Paper
Soft contract verification	2016-09-29	Paper
The recursive union of some gradual types	2016-08-17	Paper
Monotonic references for efficient gradual typing	2016-04-26	Paper
Practical Optional Types for Clojure	2016-04-26	Paper
Logical types for untyped languages	2015-03-05	Paper
The design and implementation of Typed Scheme	2014-09-12	Paper
The network as a language construct	2014-04-16	Paper
Constraining Delimited Control with Contracts	2013-08-05	Paper
Complete monitors for behavioral contracts	2012-06-22	Paper
Practical Variable-Arity Polymorphism	2009-03-31	Paper

This page was built for person: Sam Tobin-Hochstadt