Material Detail

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

Keywords:: Computation, Computer Science, Programming, Dependent Types, Type Theory, Agda

Disciplines:

Science and Technology / Computer Science / Programming & Programming Languages

Go to Material

Bookmark / Add to Course ePortfolio

Create a Learning Exercise

Add Accessibility Information

Rate

Add a Comment

Quality

User Rating
Comments
Learning Exercises
Bookmark Collections
Course ePortfolios
Accessibility Info

Report Broken Link
Report as Inappropriate

More about this material

Material Type:: Open (Access) Textbook
Date Added to MERLOT:: December 8, 2018
Date Modified in MERLOT:: December 8, 2018
Authors:: Philip Wadler, University of Edinburgh
Wen Kokke
Submitter:: Luis Eduardo Bueso de Barrio
Primary Audience:: College Upper Division, Professional
Technical Format:: Website

Mobile Compatibility:: Not specified at this time
Technical Requirements:: - Functional Programming.
Language:: English
Cost Involved:: No
Source Code Available:: Yes
Creative Commons:: This work is licensed under a Attribution 4.0 International