Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Wed 26 Sep 2018 13:00 - 13:22 at Stifel Theatre - Gradual Typing and Proving Chair(s): Éric Tanter

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

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
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
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
Max NewNortheastern University, Amal AhmedNortheastern University, USA
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