47 citations · 151 across the 17 of their papers we have counts for
3 papers · 1 filter
Monotonic References for Gradual Typing
Jeremy G. Siek, Michael M. Vitousek
We describe an alternative approach to handling mutable references (aka. pointers) within a gradually typed language that has different efficiency characteristics than the prior ap…
Soft Contract Verification
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes sig…
From Principles to Practice with Class in the First Year
Sam Tobin-Hochstadt, David Van Horn
We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a…