PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom HTC 1
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
T1: An Introduction to Redex with Abstracting Abstract MachinesPOPL Tutorials at Room HTC 1
08:30
90m
Talk
T1: An Introduction to Redex with Abstracting Abstract Machines
POPL Tutorials
David Van Horn University of Maryland, College Park
Link to publication
10:30 - 12:00
T2: Declare Your Language: Part 1POPL Tutorials at Room HTC 1
10:30
90m
Talk
T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial
POPL Tutorials
Eelco Visser Delft University of Technology
14:00 - 15:30
T1: An Introduction to Redex with Abstracting Abstract MachinesPOPL Tutorials at Room HTC 1
14:00
90m
Talk
T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material)
POPL Tutorials
David Van Horn University of Maryland, College Park
Link to publication
16:00 - 17:30
T2: Declare Your Language: Part 2POPL Tutorials at Room HTC 1
16:00
90m
Talk
T2: Declare Your Language (Part 2): Name Binding with Scope Graphs
POPL Tutorials
Eelco Visser Delft University of Technology
Link to publication DOI Media Attached

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change