Philip Wadler
2018-12-02 00:22:58 UTC
Wen Kokke and I are pleased to announce the availability of the textbook:
Programming Language Foundations in Agda
plfa.inf.ed.ac.uk
github.com/plfa/plfa.github.io/
It is written as a literate script in Agda, and available at the above
URLs. The books has so far been used for teaching at the Universities of
Edinburgh and Vermont, and at Google Seattle. Please send your comments and
pull requests!
The book was presented in a paper (of the same title) at the XXI Brazilian
Symposium on Formal Methods, 28--30 Nov 2018, and is available here:
http://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
The paper won the SBMF 2018 Best Paper Award, 1st Place. Yours, -- P
. \ Philip Wadler, Professor of Theoretical Computer Science,
. /\ School of Informatics, University of Edinburgh
. / \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
Too brief? Here's why: http://www.emailcharter.org/
Programming Language Foundations in Agda
plfa.inf.ed.ac.uk
github.com/plfa/plfa.github.io/
It is written as a literate script in Agda, and available at the above
URLs. The books has so far been used for teaching at the Universities of
Edinburgh and Vermont, and at Google Seattle. Please send your comments and
pull requests!
The book was presented in a paper (of the same title) at the XXI Brazilian
Symposium on Formal Methods, 28--30 Nov 2018, and is available here:
http://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
The paper won the SBMF 2018 Best Paper Award, 1st Place. Yours, -- P
. \ Philip Wadler, Professor of Theoretical Computer Science,
. /\ School of Informatics, University of Edinburgh
. / \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
Too brief? Here's why: http://www.emailcharter.org/