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

pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz, Jeremy Yallop
pepm-workshop148457160000014:00 - 15:00
Talk
pepm-workshop148457520000015:00 - 15:30
Talk
pepm-workshop148457520000015:00 - 15:30
Talk