A Spectrum of Type Soundness and Performance (ICFP 2018 - Research Papers) - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Who

Ben Greenman, Matthias Felleisen

Track

ICFP 2018 Research Papers

Time Zone

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

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 26 Sep 2018 13:00 - 13:22 at Stifel Theatre - Gradual Typing and Proving Chair(s): Éric Tanter

Abstract

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.

DOI

https://doi.org/10.1145/3236766

Ben Greenman

Northeastern University, USA

United States

Matthias Felleisen

Northeastern University, USA

Time Zone

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

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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