1. 2018
  2. 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: Scientific - peer-reviewArticle

  3. 2017
  4. Deep Priority Conflicts in the Wild: A Pilot Study

    de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E. 23 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. 55-66 12 p.

    Research output: Scientific - peer-reviewConference contribution

  5. 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: Scientific - peer-reviewConference contribution

  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: Scientific - peer-reviewConference contribution

  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

    Research output: Scientific - peer-reviewArticle

  8. 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: Scientific - peer-reviewConference contribution

  9. 2016
  10. 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: Scientific - peer-reviewConference contribution

  11. Principled Syntactic Code Completion using Placeholders

    De Souza Amorim, L. E., Erdweg, S., Wachsmuth, G. & Visser, E. 20 Oct 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016. Varro, D., Balland, E. & van der Storm, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 163-175 13 p.

    Research output: Scientific - peer-reviewConference contribution

  12. IceDust: Incremental and eventual computation of derived values in persistent object graphs

    Harkes, D. C., Groenewegen, D. M. & Visser, E. 1 Jul 2016 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-26 26 p. 11. (Leibniz International Proceedings in Informatics; vol. 56)

    Research output: Scientific - peer-reviewConference contribution

  13. Scopes describe frames: A uniform model for memory layout in dynamic semantics

    Poulsen, C. B., Néron, P., Tolmach, A. & Visser, E. 1 Jul 2016 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 56, p. 1-26 26 p. 20

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 202181