Research Publications

Lists of previous publications

Google Scholar • DBLP • ORCID • Researchr • ResearchGate • AMiner • Scopus

Latest publications #

• Towards Verification of a Denotational Semantics of Inheritance
  in JENSFEST 2024: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday

• SLE ‘24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
  (editor, with Ralf Lämmel and Juliana Alves Pereira)

• Online Name-Based Navigation for Software Meta-languages
  in Proc. 16th ACM SIGPLAN Int. Conf. on Software Language Engineering (SLE ‘23)

• Using Spoofax to Support Online Code Navigation
  in Eelco Visser Commemorative Symposium (EVCS 2023)

• Eelco Visser Commemorative Symposium (EVCS 2023)
  Dagstuhl OASIcs volume 109, 2023
  (editor, with Ralf Lämmel and Friedrich Steimann)

• Intrinsically-typed Definitional Interpreters à la Carte
  Proc. ACM Program. Lang. 6(OOPSLA2): 1903-1932, 2022
  (with Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser)

Highlights #

• Fundamental Constructs in Programming Languages
  in ISoLA 2021, (preprint)

• Software Meta-language Engineering and CBS
  Journal of Computer Languages (2019)

• Executable Component-Based Semantics
  with L. Thomas van Binsbergen and Neil Sculthorpe
  JLAMP (2019), ( preprint)

• Semantics and Algebraic Specification
  Festschrift (2009)
  edited by Jens Palsberg
  with contributions by many international colleagues and former students

  

• SIS – Semantics Implementation System
  Reference Manual (1979), Tested Examples (1979)
  copied from the Semantics Library of Cliff B Jones