Material Detail

Programming Language Foundations in Agda

Programming Language Foundations in Agda

This book is an introduction to programming language theory using the proof assistant Agda.

Comments on all matters—organisation, material to add, material to remove, parts that require better explanation, good exercises, errors, and typos—are welcome. The book repository is on GitHub. Pull requests are encouraged.

Rate

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Programming Language Foundations in Agda

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.