Program - ICFP 2018

Detailed Table Session Timeline Detailed Timeline

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00	Applications and MonoidsTyDe at New York Central Chair(s): Daan Leijen Microsoft Research, USA

08:45 10m Talk		Welcome! TyDe Richard A. Eisenberg Bryn Mawr College, USA, Niki Vazou University of Maryland, USA
08:55 20m Talk		Extended Abstract: F# OpenCL Type Provider TyDe Kirill Smirenko Saint Petersburg State University, Semyon Grigorev Saint-Petersburg State University, JetBrains Research File Attached
09:15 20m Talk		Extended Abstract: Comprehending Monoids with Class TyDe Lionel Parreaux EPFL, Christoph E. Koch EPFL Media Attached File Attached
09:35 25m Research paper		Authenticated Modular Maps in Haskell TyDe Victor Cacciari Miraldo Utrecht University, Netherlands, Harold Carr Oracle Labs, USA, Alex Kogan Oracle Labs, USA, Mark Moir Oracle Labs, New Zealand, Maurice Herlihy Brown University, USA DOI

10:20 - 12:00	TypesTyDe at New York Central Chair(s): Richard A. Eisenberg Bryn Mawr College, USA

10:20 25m Research paper		Typing, Representing, and Abstracting Control: Functional Pearl TyDe Philipp Schuster University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany DOI
10:45 25m Research paper		Extensible Type-Directed Editing TyDe Joomy Korkut Wesleyan University, USA, David Thrane Christiansen Galois, USA DOI
11:10 25m Research paper		Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming TyDe Victor Cacciari Miraldo Utrecht University, Netherlands, Alejandro Serrano Utrecht University, Netherlands DOI
11:35 25m Research paper		Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL TyDe Ilya Yanok USI Lugano, Switzerland, Nate Nystrom USI Lugano, Switzerland DOI

13:30 - 14:20	KeynoteTyDe at New York Central Chair(s): Niki Vazou University of Maryland, USA

13:30 50m Talk		Extrinsic vs Intrinsic Specifications, and Subset Types TyDe K. Rustan M. Leino Amazon

14:20 - 15:10	Effect Handlers & Abstract MachineTyDe at New York Central Chair(s): Niki Vazou University of Maryland, USA

14:20 25m Research paper		First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers TyDe Daan Leijen Microsoft Research, USA DOI
14:45 25m Research paper		From Algebra to Abstract Machine: A Verified Generic Construction TyDe Carlos Tomé Cortiñas Utrecht University, Netherlands, Wouter Swierstra Utrecht University, Netherlands DOI

15:30 - 16:10	Error Messages & ContextsTyDe at New York Central Chair(s): David Darais University of Vermont

15:30 20m Talk		Extended Abstract: Context Constrained Computing TyDe Robert Atkey University of Strathclyde, James Wood University of Strathclyde File Attached
15:50 20m Talk		Extended Abstract: Improving Error Messages for Dependent Types TyDe Joseph Eremondi University of British Columbia, Wouter Swierstra Utrecht University, Netherlands, Jurriaan Hage Utrecht University File Attached

TyDe 2018 Program

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Workshops

Co-hosted Symposia

TyDe 2018 Program

Switch Program View

Program Display Configuration

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change