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…