POPL 2017 (series) / PEPM 2017 (series) / Workshop on Partial Evaluation and Program Manipulation /
Invited posters
Mon 16 Jan 2017 15:00 - 15:30 at Salle 109, Barre 44-54 - Tutorial (Idris, Inside-Out) and Poster Session Chair(s): Ulrik Pagh Schultz, Jeremy Yallop
Besides the PEPM poster, the session will include invited posters by POPL 2017 authors:
-
LMS-Verify: Abstraction Without Regret for Verified Systems Programming
(Nada Amin, Tiark Rompf) -
Stream Fusion, to Completeness
(Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis)
Mon 16 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | Tutorial (Idris, Inside-Out) and Poster SessionPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Ulrik Pagh Schultz University of Southern Denmark, Jeremy Yallop University of Cambridge, UK | ||
14:00 60mTalk | Idris, Inside-Out: A Tutorial on Extending Idris in Idris PEPM 2017 David Thrane Christiansen Indiana University | ||
15:00 30mTalk | Invited posters PEPM 2017 Nada Amin EPFL, Tiark Rompf Purdue University, Oleg Kiselyov , Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, Yannis Smaragdakis University of Athens | ||
15:00 30mTalk | Language-integrated Query with Ordering, Grouping and Outer Joins (poster) PEPM 2017 | ||