mr-infty / tapl
Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆11Updated 5 years ago
Alternatives and similar repositories for tapl:
Users that are interested in tapl are comparing it to the libraries listed below
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- A translation validation framework for MLIR☆81Updated last week
- Most influential papers in programming languages☆55Updated 2 months ago
- ☆17Updated 2 years ago
- ☆26Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 11 months ago
- ☆47Updated 4 months ago
- Course website for Systems Verification Fall 2024☆11Updated 2 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆144Updated last month
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- ☆31Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆14Updated this week
- GPU model checker☆11Updated 5 years ago
- ☆22Updated last month
- A minimalistic and high-performance SAT solver☆23Updated last year
- SSA vs ANF☆42Updated 9 years ago
- A minimal development of SSA theory☆112Updated this week
- ☆228Updated 8 months ago
- Ltac2 tutorial☆44Updated 2 years ago
- PL conference deadline countdowns☆57Updated this week
- ☆13Updated 8 months ago
- Libraries useful for Dafny programs☆43Updated last week
- Program synthesis class taught by Loris D'Antoni☆27Updated 3 months ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- ☆13Updated 3 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last month
- Modeling and Proving in Computational Type Theory☆91Updated 8 months ago
- ☆12Updated this week
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago