Advanced Futures and Promises in C++ (poster) (PEPM 2019) - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Who

Tamino Dauth, Martin Sulzmann

Track

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Tue 15 Jan 2019 15:28 - 15:30 at Sala X - Session 5 Chair(s): Alberto Pettorossi

Tamino Dauth

Karlsruhe University of Applied Sciences, Germany

Martin Sulzmann

Karlsruhe University of Applied Sciences, Germany

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Tue 15 Jan
Displayed time zone: Belfast change

	14:00 - 15:30	Session 5PEPM at Sala X Chair(s): Alberto Pettorossi University of Rome Tor Vergata, Italy

	14:00 30m Talk		Extracting a Call-by-Name Partial Evaluator from a Proof of Termination PEPM Kenichi Asai Ochanomizu University DOI File Attached
	14:30 30m Talk		Futures and Promises in Haskell and Scala PEPM Tamino Dauth Karlsruhe University of Applied Sciences, Germany, Martin Sulzmann Karlsruhe University of Applied Sciences, Germany DOI File Attached
	15:00 28m Talk		Generating Mutually Recursive Definitions PEPM Jeremy Yallop University of Cambridge, UK, Oleg Kiselyov DOI Pre-print
	15:28 2m Poster		Advanced Futures and Promises in C++ (poster) PEPM Tamino Dauth Karlsruhe University of Applied Sciences, Germany, Martin Sulzmann Karlsruhe University of Applied Sciences, Germany