a Practical Theory of Programming - discu.eu

Reddit

A Practical Theory of Programming (Free Book) [PDF, PS] http://www.cs.toronto.edu/~hehner/aptop/ 26 comments 27/10/2008 programming

Lambda the Ultimate

A Practical Theory of Programming http://www.cs.toronto.edu/~hehner/aPToP/ 3 comments 28/4/2004 Misc-Books

Linking pages

GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics. https://github.com/subsetpark/pantagruel 3 comments

Related searches:

Search whole site: site:www.cs.toronto.edu

Search title: a Practical Theory of Programming

See how to search.

Submit link to: