Browsing General by Author "Jay, Barry"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing General by Author "Jay, Barry"

Sort by: Order: Results:

  • 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 ...