1. 2016
  2. A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report

    Van Der Lippe, T., Smith, T., Pelsmaeker, D. & Visser, E., 30 Oct 2016, SCALA 2016 - Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. New York: Association for Computing Machinery (ACM), p. 65-74 10 p.

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

  3. 2017
  4. A Co-contextual Type Checker for Featherweight Java

    Kuci, E., Erdweg, S., Bračevac, O., Bejleri, A. & Mezini, M., 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Müller, P. (ed.). p. 1-26 26 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

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

  5. A Module-System Discipline for Model-Driven Software Development

    Erdweg, S. & Ostermann, K., 2017, In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  6. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

    Harkes, D. & Visser, E., 2017, 31st European Conference on Object-Oecoopriented Programming, ECOOP 2017. Müller, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 29 p. (Leibniz International Proceedings in Informatics (LIPIcs); no. 74).

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

  7. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

    Harkes, D. C. & Visser, E., 2017, In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. 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

  9. The Essence of Higher-Order Concurrent Separation Logic

    Krebbers, R., Jung, R., Bizjak, A., Jourdan, J-H., Dreyer, D. & Birkedal, L., 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017 - Proceedings. Yang, H. (ed.). Berlin: Springer Verlag, p. 696-723 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

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

  10. The semantics of name resolution in Grace

    Vergu, V., Haisma, M. & Visser, E., 2017, DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. Ancona, D. (ed.). New York: Association for Computing Machinery (ACM), p. 63-74 12 p. (ACM Sigplan Notices- DLS'17; vol. 52, no. 11).

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

  11. Toward Abstract Interpretation of Program Transformations

    Keidel, S. & Erdweg, S., 2017, Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York: Association for Computing Machinery (ACM), p. 1-5 5 p.

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

  12. FlowSpec: Declarative Dataflow Analysis Specification

    Smits, J. & Visser, E., Oct 2017, SLE 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York: Association for Computing Machinery (ACM), p. 221-231 11 p.

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

ID: 19976