47 citations · 151 across the 17 of their papers we have counts for
18 papers · 1 filter
Revisiting Soundness for Occurrence Typing, Semantically
Yuquan Fu, Carlo Angiuli, Sam Tobin-Hochstadt
Over the past two decades, numerous systems have brought some of the benefits of dependent typing to a wide variety of new programming languages, often by restricting which terms c…
Forward Build Systems, Formally
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build systems are a fundamental part of software construction, but their correctness has received comparatively little attention, relative to more prominent parts of the toolchain.…
Type Checking Extracted Methods
Yuquan Fu, Sam Tobin-Hochstadt
Many object-oriented dynamic languages allow programmers to _extract methods_ from objects and treat them as functions. This allows for flexible programming patterns, but presents…
Build Scripts with Perfect Dependencies
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build scripts for most build systems describe the actions to run, and the dependencies between those actions---but often build scripts get those dependencies wrong. Most build scri…
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Cameron Moy, Phúc C. Nguyen, Sam Tobin-Hochstadt +1
Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries betwe…
Sham: A DSL for Fast DSLs
Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Domain-specific languages (DSLs) are touted as both easy to embed in programs and easy to optimize. Yet these goals are often in tension. Embedded or internal DSLs fit naturally wi…