Programming Language Foundations in Agda (2018)

Visit on plfa.github.io

  Added by: learnawesome