SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 14:40 - 15:00 at Studio 1 - Parsing / Composition Chair(s): Eelco Visser

In this paper, we present the design and implementation of LO-FL, a statically typed, language-oriented, functional programming languages. In LO-FL, languages are first-class citizens, that is, they are values like integers and functions. We present the syntax and the semantics for a core fragment of LO-FL. We also high-light with examples three idioms that LO-FL enables: language transformations, strategy passing, and language switch.

Matteo Cimini is an assistant professor at the Department of Computer Science at University of Massachusetts Lowell. His research interests span programming languages and formal methods, with a particular focus in gradual typing, and the analysis of programs and languages.

Mon 5 Nov

papers
13:30 - 15:00: SLE 2018 - Parsing / Composition at Studio 1
Chair(s): Eelco VisserDelft University of Technology
papers13:30 - 13:50
Talk
papers13:50 - 14:20
Talk
Manuel LeducUniv Rennes, Inria, CNRS, IRISA, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1
DOI Pre-print
papers14:20 - 14:40
Talk
Filip StrömbäckLinköping University
DOI
papers14:40 - 15:00
Talk
Matteo CiminiUniversity of Massachusetts Lowell

Matteo Cimini is an assistant professor at the Department of Computer Science at University of Massachusetts Lowell. His research interests span programming languages and formal methods, with a particular focus in gradual typing, and the analysis of programs and languages.