Publications

of year 2020

Articles in journal, book chapters

  1. Matthew Francis-Landau, Tim Vieira, and Jason Eisner. Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations. pp 49-63, 2020.
  2. 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]

BACK TO INDEX