PLSeminar Fall 2021 Book
For each book, pick an option! Book descriptions are here: https://umn-plseminar.github.io/books/
Email *
Books *
I'd love to read this!
I'm okay with this.
I wouldn't attend.
Abella: A System for Reasoning about Relational Specifications
Algebra of Programming
Call-by-Push-Value
Category Theory for Programmers
Formal Reasoning About Programs
An Introduction to Array Programming in Klong
Lisp in Small Pieces
Logic and Proof
Mathematical Components
Object-Oriented Programming in Common Lisp
Optics By Example
Partial Evaluation and Automatic Program Generation
Pharo by Example
Practical Foundations for Programming Languages
Principles of Program Analysis
Program Design by Calculation
Program Logics for Certified Compilers
Programming with Higher-Order Logic
Term Rewriting and All That
The Reasoned Schemer
The Rust Programming Language
Software Abstractions
The TeXbook
Theorem Proving in Lean
Warren's Abstract Machine: A Tutorial Reconstruction
Non-Books *
I'd love to do this!
I'm okay with this.
I wouldn't attend.
Nathan Runs A Forth Workshop
OPLSS 2015 -- Logical Relations
Read a paper every week
Read a paper every 2 weeks
Submit
Clear form
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy
Google Forms