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 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Wed 26 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
13:00 - 14:30: Gradual Typing and ProvingResearch Papers at Stifel Theatre Chair(s): Éric TanterUniversity of Chile & Inria Paris | |||
13:00 - 13:22 Talk | A Spectrum of Type Soundness and Performance Research Papers DOI | ||
13:22 - 13:45 Talk | Casts and Costs: Harmonizing Safety and Performance in Gradual Typing Research Papers John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University DOI | ||
13:45 - 14:07 Talk | Graduality from Embedding-Projection Pairs Research Papers DOI | ||
14:07 - 14:30 Talk | Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Research Papers Joachim BreitnerDFINITY Foundation, Antal Spector-Zabusky, Yao LiUniversity of Pennsylvania, Christine RizkallahUniversity of New South Wales, John WiegleyBAE Systems, Stephanie WeirichUniversity of Pennsylvania, USA DOI |