1. Conference contribution › Scientific › Peer-reviewed
  2. Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM

    Vergu, V. & Visser, E., 2018, Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018. New Yorj, NY: Association for Computing Machinery (ACM), 14 p. 16

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

  3. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers

    Grewe, S., Erdweg, S., Pacak, A. & Mezini, M., 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p.

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

  4. 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, 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

  5. The IDE Portability Problem and Its Solution in Monto

    Keidel, S., Pfeiffer, W. & Erdweg, S., 2016, SLE 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering . van der Storm, T. (ed.). New York: Association for Computing Machinery (ACM), p. 152-162 11 p.

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

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

  7. To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries

    Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 283-295 13 p.

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

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

  9. Towards improved GADT reasoning in Scala

    Parreaux, L., Boruch-Gruszecki, A. & Giarrusso, P. G., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Association for Computing Machinery (ACM), p. 12-16 5 p.

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

  10. Towards language-parametric semantic editor services based on declarative type system specifications

    Pelsmaeker, D. A. A., van Antwerpen, H. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. 18 p. 26

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

  11. Towards language-parametric semantic editor services based on declarative type system specifications

    Pelsmaeker, D. A. A., Van Antwerpen, H. & Visser, E., 20 Oct 2019, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 19-20 2 p.

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

  12. Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

    Harkes, D. & Visser, E., 2014, Software Language Engineering: 7th International Conference, SLE 2014, Proceedings. Combemale, B., Pearce, D. J., Barais, O. & Vinju, J. J. (eds.). Cham: Springer, p. 241-260 20 p. (Lecture Notes in Computer Science; vol. 8706).

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

  13. Abstract › Scientific
  14. We Should Stop Claiming Generality in Our Domain-Specific Language Papers

    Harkes, D. C., 2018, p. 131-132. 2 p.

    Research output: Contribution to conferenceAbstractScientific

  15. Other › Other research output
  16. 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

  17. Working paper › Scientific
  18. Dissertation (TU Delft) › Scientific
  19. Declarative Specification of Information System Data Models and Business Logic

    Harkes, D., 2019, 181 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  20. Declarative Syntax Definition for Modern Language Workbenches

    de Souza Amorim, E., 2019, 222 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  21. Language-Parametric Methods for Developing Interactive Programming Systems

    Konat, G., 2019, 156 p.

    Research output: ThesisDissertation (TU Delft)Scientific

Previous 1 2 3 4 Next

ID: 19976