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
13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre Chair(s): Éric TanterUniversity of Chile & Inria Paris | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:22 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:22 - 13:45 Talk | John Peter Campora IIIULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:07 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:07 - 14:30 Talk | 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 | |||||||||||||||||||||||||||||||||||||||||