47 citations · 151 across the 17 of their papers we have counts for
4 papers · 1 filter
Extensible Pattern Matching in an Extensible Language
Sam Tobin-Hochstadt
Pattern matching is a widely used technique in functional languages, especially those in the ML and Haskell traditions, where it is at the core of the semantics. In languages in th…
The Design and Implementation of Typed Scheme: From Scripts to Programs
Sam Tobin-Hochstadt, Matthias Felleisen
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of explicit type annotations in typical scripting languages forces programmer…
Semantic Solutions to Program Analysis Problems
Sam Tobin-Hochstadt, David Van Horn
Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally. For over thirty years, higher-order program analysis has…
Higher-Order Symbolic Execution via Contracts
Sam Tobin-Hochstadt, David Van Horn
We present a new approach to automated reasoning about higher-order programs by extending symbolic execution to use behavioral contracts as symbolic values, enabling symbolic appro…