3 ms·

Is this in any way related to Software Foundations Volume 2: Programming Language Foundations [0] (in Coq)? The table of contents looks quite different but the

Is this in any way related to Software Foundations Volume 2: Programming Language Foundations [0] (in Coq)? The table of contents looks quite different but the choice of name suggest some commonality. [0] https://softwarefoundations.cis.upenn.edu/plf-current/toc.html https://softwarefoundations.cis.upenn.edu/plf-current/toc.ht...

mechanicalDigit 6y ago
Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.
- remexre 6y ago
  The second paragraph of [0] says about the same, with reasons. [0]: https://plfa.github.io/Preface/#personal-remarks https://plfa.github.io/Preface/#personal-remarks
deleted 6y ago
[deleted]