3 citations · 7 across the 3 of their papers we have counts for
4 papers
Optimizing and Evaluating Transient Gradual Typing
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring a sound interaction between the static and dynamic parts can incur s…
Gradual Typing in an Open World
Michael M. Vitousek, Jeremy G. Siek
Gradual typing combines static and dynamic typing in the same language, offering the benefits of both to programmers. Static typing provides error detection and strong guarantees w…
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…
Effects for Funargs
Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner
Stack allocation and first-class functions don't naturally mix together. In this paper we show that a type and effect system can be the detergent that helps these features form a n…