Idris, Inside-Out: A Tutorial on Extending Idris in Idris (PEPM 2017 - Workshop on Partial Evaluation and Program Manipulation)

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Track

PEPM 2017

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Save

When

Mon 16 Jan 2017 14:00 - 15:00 at Salle 109, Barre 44-54 - Tutorial (Idris, Inside-Out) and Poster Session Chair(s): Ulrik Pagh Schultz, Jeremy Yallop

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

Idris, Inside-Out: A Tutorial on Extending Idris in Idris

Program Display Configuration

Program Display Configuration

Mon 16 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

David Thrane Christiansen

Indiana University

Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change