Browsing Closed by Author "Jay, Barry"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Closed by Author "Jay, Barry"

Sort by: Order: Results:

  • Jay, Barry (Springer, 2009)
    The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are fruitfully combined within pattern-matching functions. The best of existing foundations ...