For the thirteenth class, we will read Generating Good Generators for Inductive Relations [PDF] by Leonidas Lampropoulos, Zoe Paraskevopoulou, and Benjamin C. Pierce.
This is a really cool paper that's all about how to use property-based testing---like QuickCheck of Haskell fame---to make sure the theorems you state are actually correct. Otherwise, you might waste time trying to prove a false theorem!
We are super lucky to have the first author Leo available remotely to give a quick talk on QuickChick. So reading this paper is mostly a way to prepare for that talk, so it's easier to follow and ask informed questions. We will have time for an open discussion after the talk and Q&A.
Please note that this is due the morning before class, so that we can discuss it in person. And please install the artifact before Thursday's class.