The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper systematically compares the theory of these approaches, their logical implications for the developer, and their performance.
Wed 26 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
13:00 - 14:30 | Gradual Typing and ProvingResearch Papers at Stifel Theatre Chair(s): Éric Tanter University of Chile & Inria Paris | ||
13:00 22mTalk | A Spectrum of Type Soundness and Performance Research Papers DOI | ||
13:22 22mTalk | Casts and Costs: Harmonizing Safety and Performance in Gradual Typing Research Papers John Peter Campora ULL Lafayette, Sheng Chen University of Louisiana at Lafayette, Eric Walkingshaw Oregon State University DOI | ||
13:45 22mTalk | Graduality from Embedding-Projection Pairs Research Papers DOI | ||
14:07 22mTalk | Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Research Papers Joachim Breitner DFINITY Foundation, Antal Spector-Zabusky , Yao Li University of Pennsylvania, Christine Rizkallah University of New South Wales, John Wiegley BAE Systems, Stephanie Weirich University of Pennsylvania, USA DOI | ||