Keyword:abstract syntax

Papers
What Does This Notation Mean Anyway? BNF-style notation as it is actually used David Feller, Joe Wells, Sébastien Carlier and Fairouz Kamareddine EasyChair Preprint no. 380