jeanqasaur / cmu-15316-spring17
Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
☆22Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for cmu-15316-spring17
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆20Updated 9 months ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 4 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 7 years ago
- Web application for course on Formal Reasoning About Programs☆17Updated last year
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 6 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Jupyter notebooks☆58Updated 3 weeks ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆25Updated 3 years ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆38Updated last month
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆49Updated 9 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- A Coq formalization of information theory and linear error-correcting codes☆64Updated last week
- Constructive Galois connections☆32Updated 6 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago