47 citations · 151 across the 17 of their papers we have counts for
4 papers · 1 filter
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…