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

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