2 papers
cs.PL2020
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery +1
Abstracting Gradual Typing (AGT) is a systematic approach to designing gradually-typed languages. Languages developed using AGT automatically satisfy the formal semantic criteria f…
cs.PL2016
Sums of Uncertainty: Refinements Go Gradual
Khurram A. Jafery, Jana Dunfield
A long-standing shortcoming of statically typed functional languages is that type checking does not rule out pattern-matching failures (run-time match exceptions). Refinement types…