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

In this vision paper, we propose a method for generating fully functional incremental type services from textbook-like declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don’t naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.

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
Talk
Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA
SLE 2019
16:20 - 16:50
Talk
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
Talk
Vision Paper: Generating Incremental Type ServicesNEW IDEA
SLE 2019
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
17:10 - 17:40
Talk
Transactional Editing: Giving ACID to Programmers
SLE 2019
Friedrich SteimannFernuni Hagen, Nils KurowskyFernuni Hagen