Articles in journal, book chapters
- 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.
- 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