Graham Hutton: Publications - discu.eu

Lambda the Ultimate

Proof methods for corecursive programs http://www.cs.nott.ac.uk/~gmh/bib.html#corecursion 0 comments 10/8/2003 theory

Linking pages

GitHub - jon-hanson/parsecj: Java monadic parser combinator framework for constructing LL(1) parsers https://github.com/jon-hanson/parsecj 10 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:cs.nott.ac.uk

Search title: Graham Hutton: Publications

See how to search.

Submit link to: