Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017

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 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
60m
Talk
Idris, Inside-Out: A Tutorial on Extending Idris in Idris
PEPM 2017
David Thrane Christiansen Indiana University
15:00
30m
Talk
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
30m
Talk
Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
PEPM 2017
Tatsuya Katsushima Tohoku University, Japan, Oleg Kiselyov