Programming Language Foundations in Agda
The Book Announcements Getting Started Citing 中文

Programming Language Foundations in Agda

  • Philip Wadler
  • wadler@inf.ed.ac.uk
  • wadler
  • Wen Kokke
  • wen.kokke@ed.ac.uk
  • wenkokke
  • wenkokke
  • Jeremy G. Siek
  • jsiek@indiana.edu
  • jsiek
  • jeremysiek
This work is licensed under a Creative Commons Attribution 4.0 International License