---
title: "Talking about PLFA…"
---

We published a paper about PLFA at the [Brazilian Symposium on Formal Methods][SBMF] and in the [Science of Computer Programming][SCP] (extended version). In them, we describe our experiences writing the book, and compare it to [Software Foundations][SF].

[SBMF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf "The PDF version of the paper"
[SCP]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#scp "The PDF version of the paper"
[SF]: https://softwarefoundations.cis.upenn.edu/ "Software Foundations"