Volume 2: Programming Language Foundations https://softwarefoundations.cis.upenn.edu/plf-current/index.html https://softwarefoundations.cis.upenn.edu/plf-curre

Volume 2: Programming Language Foundations https://softwarefoundations.cis.upenn.edu/plf-current/index.html https://softwarefoundations.cis.upenn.edu/plf-current/index.... Volume 3: Verified Functional Algorithms https://softwarefoundations.cis.upenn.edu/vfa-current/index.html https://softwarefoundations.cis.upenn.edu/vfa-current/index.... Volume 4: QuickChick: Property-Based Testing in Coq https://softwarefoundations.cis.upenn.edu/qc-current/index.html https://softwarefoundations.cis.upenn.edu/qc-current/index.h... Volume 5: Verifiable C https://softwarefoundations.cis.upenn.edu/vc-current/index.html https://softwarefoundations.cis.upenn.edu/vc-current/index.h... Volume 6: Separation Logic Foundations https://softwarefoundations.cis.upenn.edu/slf-current/index.html https://softwarefoundations.cis.upenn.edu/slf-current/index....