No. |
Title |
Author |
Year |
---|
1 |
Modular Abstract Definitional Interpreters for WebAssembly |
Brandl, Katharina et al. |
2023 |
2 |
On Solving Solved Problems |
Erdweg, Sebastian |
2023 |
3 |
Functional Programming with Datalog |
Pacak, André et al. |
2022 |
4 |
A Co-contextual Type Checker for Featherweight Java |
Kuci, Edlira et al. |
2017 |
5 |
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402) |
Demetrescu, Camil et al. |
2017 |
6 |
Domain-Specific Languages (Dagstuhl Seminar 15062) |
Erdweg, Sebastian et al. |
2015 |