Browsing by Author "Kesner D"

UTSePress Research/Manakin Repository

Search UTSePress Research

Browse

My Account

Browsing by Author "Kesner D"

Sort by: Order: Results:

  • First-class patterns 
    Jay Barry; Kesner D (Cambridge Univ Press, 2009)
    Pure pattern calculus supports pattern-matching functions in which patterns are first-class citizens that can be passed as parameters, evaluated and returned as results. This new expressive power supports two new forms of ...
  • Pure pattern calculus 
    Jay Barry; Kesner D (Springer-Verlag, 2006)
    The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calculus derive from allowing any term to be a pattern. ...