Matching Power by Cirstea H, Kirchner C and Liquori L.
This is the first paper I've read about rewriting calculi and, if nothing else, it's made me want to read more. In it, the authors provide an introduction to pattern matching, introduce the syntax and semantics of the ρ-calculus, and present a number of compelling examples of its power. Section four is the most interesting part of the paper (the rest being primarily and introduction to the calculus): in it the authors present encodings of the Lambda Calculus of Objects (Fisher, Honsell, and Mitchell) and the Object Calculus (Abadi and Cardelli) into the ρ-calculus.
ACM | Google | CiteULike | Del.icio.us | LtU
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment