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 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 6 |