Write a Blog >>
Mon 20 Jan 2020 10:30 - 11:05 at Frontenac - Sessions 1 & 2 Chair(s): Ohad Kammar, Walid Taha

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

10:30 - 12:30: Sessions 1 & 2PEPM at Frontenac
Chair(s): Ohad KammarUniversity of Edinburgh, Walid Taha
10:30 - 11:05
Talk
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
PEPM
Atsushi IgarashiKyoto University, Japan
11:05 - 11:30
Research paper
High-Fidelity Metaprogramming with Separator Syntax Trees
PEPM
Rodin AarssenCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
DOI
11:30 - 11:45
Break
Mini Break 1
PEPM
11:45 - 12:10
Research paper
Module Generation without Regret
PEPM
Yuhi SatoUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan, Takahisa WatanabeUniversity of Tsukuba, Japan
DOI
12:10 - 12:30
Short-paper
GOOL: A Generic Object-Oriented Language
PEPM
Jacques CaretteMcMaster University, Brooks MacLachlanMcMaster University, Spencer SmithMcMaster University, Computing and Software Department
DOI Pre-print File Attached