From Rogue to MicroRogue

MaRDI QIDQ2849859zbMATH OpenFDO

Authors Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052958

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• The rewriting calculus. I
• Logical semantics for the rewriting calculus
• Rewriting calculus with(out) types
• Distributive -calculus
• The simply typed rewriting calculus

Cited in

(2)

• MicroRogue
• Imperative LF meta-programming

This page was built for publication: From Rogue to MicroRogue

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849859)