Parsing Mixfix Operators

by Nils Anders Danielsson , Ulf Norell
Citations:1 - 0 self

Documents Related by Co-Citation

36 Design Goals for ACL2 – Matt Kaufmann, J Strother Moore - 1994
4 Compiling Java to PLT Scheme – Kathryn E. Gray, Matthew Flattuniveristy Utah - 2004
4 Notational definition—a formal account – T Griffin - 1988
10 M.: ACL2 in DrScheme – D Vaillancourt, R Page, Felleisen - 2006
2 Refining Syntactic Sugar: Tools for Supporting Macro Development – R Culpepper - 2010
5 2002): The Isabelle/Isar Reference – Makarius Wenzel
41 Syntactic abstraction – R K Dybvig, R Hieb, C Bruggeman - 1993
7 A Theory of Hygienic Macros – David Herman, Mitchell W
261 S.: Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J Moore - 2000
97 Macros that work – William Clinger, Jonathan Rees - 1991
61 Composable and Compilable Macros: You Want it When? – Matthew Flatt, Compilable Macros - 2002
149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
64 The design and implementation of typed scheme – S Tobin-Hochstadt, M Felleisen - 2008