Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
ICFP 2018 (series) / Research Papers /

A Spectrum of Type Soundness and Performance

Ben Greenman, Matthias Felleisen
ICFP 2018 Research Papers

Display in different time zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.
Apply
Close
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.

https://doi.org/10.1145/3236766
Ben Greenman
Ben Greenman
Northeastern University, USA
United States
Matthias Felleisen
Matthias Felleisen
Northeastern University, USA

Display in different time zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.
Apply
Close

Wed 26 Sep (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-papers
13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile & Inria Paris
icfp-2018-papers13:00 - 13:22
Talk
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
icfp-2018-papers13:22 - 13:45
Talk
John Peter Campora IIIULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
icfp-2018-papers13:45 - 14:07
Talk
Max NewNortheastern University, Amal AhmedNortheastern University, USA
DOI
icfp-2018-papers14: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