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)  and type-specific languages (TSLs) , 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 - 11:00|
Cyrus OmarCarnegie Mellon University
|11:00 - 11:30|
Luis Eduardo de Souza AmorimTU Delft, Guido WachsmuthDelft University of Technology, Eelco VisserDelft University of TechnologyFile Attached
|11:30 - 12:00|