GOOL: A Generic Object-Oriented Language (PEPM 2020) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Jacques Carette, Brooks MacLachlan, Spencer Smith

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan 2020 12:10 - 12:30 at Frontenac - Sessions 1 & 2 Chair(s): Ohad Kammar, Walid Taha

Link to Preprint

https://github.com/JacquesCarette/Drasil/blob/master/Papers/GOOL/GOOL.pdf

DOI

https://doi.org/10.1145/3372884.3373159

File attachments

(GOOL.pdf)	3.87MiB

Jacques Carette

McMaster University

Canada

Brooks MacLachlan

McMaster University

Spencer Smith

McMaster University, Computing and Software Department

Canada

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

	10:30 - 12:30	Sessions 1 & 2PEPM at Frontenac Chair(s): Ohad Kammar University of Edinburgh, Walid Taha

	10:30 35m Talk		Dependently-Typed Multi-Stage Programming Revisited (invited talk) PEPM Atsushi Igarashi Kyoto University, Japan
	11:05 25m Research paper		High-Fidelity Metaprogramming with Separator Syntax Trees PEPM Rodin Aarssen CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands DOI
	11:30 15m Break		Mini Break 1 PEPM
	11:45 25m Research paper		Module Generation without Regret PEPM Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba, Japan, Takahisa Watanabe University of Tsukuba, Japan DOI
	12:10 20m Short-paper		GOOL: A Generic Object-Oriented Language PEPM Jacques Carette McMaster University, Brooks MacLachlan McMaster University, Spencer Smith McMaster University, Computing and Software Department DOI Pre-print File Attached