SPLASH 2018 (series) / SLE 2018 (series) / SLE 2018 / Languages as First-Class Citizens (Vision Paper)
Languages as First-Class Citizens (Vision Paper)Vision / New Idea
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 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
13:30 - 15:00 | |||
13:30 20mTalk | Input-Driven Regular Expressions (Vision Paper)Vision / New Idea SLE 2018 Alexander Sakharov Synstretch | ||
13:50 30mTalk | Modular Language Composition for the Masses SLE 2018 Manuel Leduc Univ Rennes, Inria, CNRS, IRISA, Thomas Degueule Centrum Wiskunde & Informatica, Benoit Combemale University of Rennes 1 DOI Pre-print | ||
14:20 20mTalk | Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo SLE 2018 Filip Strömbäck Linköping University DOI | ||
14:40 20mTalk | Languages as First-Class Citizens (Vision Paper)Vision / New Idea SLE 2018 Matteo Cimini University of Massachusetts Lowell | ||
