| title | layout | prev | permalink | next |
|---|---|---|---|---|
Sources and authorship of the material in this collection |
page |
/Setup/ |
/Sources/ |
/Basics/ |
The material for this course is drawn from a number of online sources:
-
Programming Language Foundations in Agda by Philip Wadler, Wen Kokke, and Jeremy Siek.
-
Their authors, contributors and acknowledgements page.
-
These authors released their work under the Creative Commons Attribution 4.0 International license. The portions of this collection drawn from PLFA retain this licensing.
-
-
The Logical Foundations and Programming Language Foundations volumes of the Software Foundations series by Benjamin C. Pierce et al.
-
Full authors and contributors lists for each volume are on the title page of each volume.
-
These authors open-source the published versions of their work under an MIT-style license. The portions of this collection drawn from SF retain this licensing.
-
-
A translation of some of Pierce's Logical Foundations volume from Coq to Agda by Rodrigo Geraldo Ribeiro.
- We believe that this translation inherits the licensing of the original.
-
Some exercises are derived from Keller and Chakravarty's tutorial, or from Thompson's book Haskell: The Craft of Functional Programming.
-
Other portions of this document were written by John Maraist, and are released under the Creative Commons Attribution 4.0 International license.