1. Incremental Overload Resolution in Object-Oriented Programming Languages

    Szabo, T., Kuci, E., Bijman, M., Mezini, M. & Erdweg, S., 2018, ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops . New York, NY: Association for Computing Machinery (ACM), p. 27-33 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Incrementalizing Lattice-Based Program Analyses in Datalog

    Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L., 2017, POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computing Machinery (ACM), p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Iris from the ground up: A modular foundation for higher-order concurrent separation logic

    Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. 1-73 73 p., e20.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Iron: Managing obligations in higher-order concurrent separation logic

    Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Language Design with the Spoofax Language Workbench

    Wachsmuth, G. H., Konat, G. D. P. & Visser, E., 2014, In : IEEE Software. 31, 5, p. 35-43 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Language-Parametric Methods for Developing Interactive Programming Systems

    Konat, G., 8 Nov 2019, (Submitted)

    Research output: ThesisDissertation (TU Delft)Scientific

  9. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Cabot, J. & Visser, E., 2011, In : Lecture Notes in Computer Science. 6707 LNCS

    Research output: Contribution to journalEditorialScientific

  10. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A., 2017, In : Software and Systems Modeling. 46 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 19976