1. Working paper › Scientific
  2. Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

    Rouvoet, A., Poulsen, C., Krebbers, R. & Visser, E., 2020, ACM DL, p. 284-298, 15 p.

    Research output: Working paperScientific

  3. Book › Scientific › Not peer-reviewed
  4. DSL Engineering - Designing, implementing and using domain-specific languages

    Völter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, LCL., Visser, E. & Wachsmuth, GH., 2013, Stuttgart, Germany: M Volter / DSLBook.org. 560 p.

    Research output: Book/ReportBookScientific

  5. Other › Other research output
  6. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

    Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E., 2016, p. 1-3. 3 p.

    Research output: Contribution to conferenceOtherOther research output

  7. Conference contribution › Scientific › Peer-reviewed
  8. A Constraint Language for Static Semantic Analysis Based on Scope Graphs

    van Antwerpen, H., Néron, P., Tolmach, A., Visser, E. & Wachsmuth, G., Jan 2016, PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. New York, NY: Association for Computing Machinery (ACM), p. 49-60 12 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  9. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

    Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A. & Konat, G., 20 Oct 2014, Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), p. 95-111 17 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  10. A Language Generic Solution for Name Binding Preservation in Refactorings

    de Jonge, M. & Visser, E., 2012, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications (LDTA'12). Sloane, A. & Andova, S. (eds.). New York: Association for Computing Machinery (ACM), p. 2:1-2:8

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  11. A Theory of Name Resolution

    Neron, P., Tolmach, A., Visser, E. & Wachsmuth, G., 2015, Programming Languages and Systems: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Berlin: Springer, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  12. A language independent task engine for incremental name and type analysis

    Wachsmuth, GH., Konat, GDP., Vergu, VA., Groenewegen, DM. & Visser, E., 2013, Software Language Engineering - Proceedings 6th International Conference SLE 2013. Erwig, M., Paige, R. & van Wyk, E. (eds.). Berlin-Heidelberg: Springer, p. 260-280 21 p. (Lecture Notes in Computer Science; vol. 8225).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  13. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  14. An Algorithm for Layout Preservation in Refactoring Transformations

    de Jonge, M. & Visser, E., 2012, 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Sloane, AM. & Assmann, U. (eds.). Springer, p. 40-59 20 p. (Lecture Notes in Computer Science; vol. 6940).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

ID: 202181