Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Tue 22 Oct 2019 16:20 - 16:50 at Templars - Sessions 8: Types, ACID and Governance Chair(s): Vadim Zaytsev

Functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. Functional abstractions, such as monads, allow abstracting away some of the repetitive structure of a compiler, removing boilerplate code and making extensions simpler. Even so, functional languages are rarely used to implement compilers for languages of other paradigms.

This paper reports on the experience of a four-year long project where we developed a compiler for a concurrent, object-oriented language using the functional language Haskell. The focus of the paper is the implementation of the type checker, but the design works well in static analysis tools, such as tracking uniqueness of variables to ensure data-race freedom. The paper starts from a simple type checker to which we add more complex features, such as type state, with minimal changes to the overall initial design.

Tue 22 Oct
Times are displayed in time zone: Beirut change

16:00 - 17:30: Sessions 8: Types, ACID and GovernanceSLE 2019 at Templars
Chair(s): Vadim ZaytsevRaincode Labs, Belgium
16:00 - 16:20
Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA
SLE 2019
16:20 - 16:50
Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report)
SLE 2019
Elias CastegrenKTH Royal Institute of Technology, Kiko Fernandez-ReyesUppsala University
DOI Pre-print
16:50 - 17:10
Vision Paper: Generating Incremental Type ServicesNEW IDEA
SLE 2019
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
17:10 - 17:40
Transactional Editing: Giving ACID to Programmers
SLE 2019
Friedrich SteimannFernuni Hagen, Nils KurowskyFernuni Hagen