of Eelco Visser

Articles in journal, book chapters

  1. Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), November 2020. [WWW] [doi:10.1145/3428248]
  2. Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. Scopes As Types. Proc. ACM Program. Lang., 2(OOPSLA):114:1-114:30, October 2018. ISSN: 2475-1421. [WWW] [doi:10.1145/3276484] Keyword(s): domain-specific language, name resolution, scope graphs, static semantics, type checker, type system.