Sam Tobin-Hochstadt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An extended account of contract monitoring strategies as patterns of communication Journal of Functional Programming	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 Journal of Functional Programming	2017-10-23	Paper
Expressing contract monitors as patterns of communication Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Soft contract verification Proceedings of the 19th ACM SIGPLAN international conference on Functional programming	2016-09-29	Paper
The recursive union of some gradual types A List of Successes That Can Change the World	2016-08-17	Paper
Monotonic references for efficient gradual typing Programming Languages and Systems	2016-04-26	Paper
Practical Optional Types for Clojure Programming Languages and Systems	2016-04-26	Paper
Logical types for untyped languages Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
The design and implementation of Typed Scheme Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
The network as a language construct Programming Languages and Systems	2014-04-16	Paper
Constraining Delimited Control with Contracts Programming Languages and Systems	2013-08-05	Paper
Complete monitors for behavioral contracts Programming Languages and Systems	2012-06-22	Paper
Practical Variable-Arity Polymorphism Programming Languages and Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Sam Tobin-Hochstadt