Sun 25 Oct 2015 10:30 - 11:00 at Reflections - Second Session Chair(s): Eric Van Wyk

Abstract data types (ADTs) help modularize programs by localizing reasoning about representation invariants. One downside of using abstract data types, however, is that they can impose a large syntactic cost on clients. In recent work, we introduced typed syntax macros (TSMs) [5] and type-specific languages (TSLs) [4], which decrease syntactic cost by allowing library providers to introduce new syntactic expansions in a safe, hygienic and modular manner. In this work, we report on recent extensions to this work to add support for abstract types, and families of abstract types (in this work, realized as an ML-style module system).

Sun 25 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Second SessionParsing@SLE at Reflections
Chair(s): Eric Van WykUniversity of Minnesota
10:30 - 11:00
Talk
Parsing@SLE
Cyrus OmarCarnegie Mellon University
11:00 - 11:30
Talk
Parsing@SLE
Luis Eduardo de Souza AmorimTU Delft, Guido WachsmuthDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
11:30 - 12:00
Talk
Parsing@SLE