bobatkey / CS316-17Links
The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
☆21Updated 8 years ago
Alternatives and similar repositories for CS316-17
Users that are interested in CS316-17 are comparing it to the libraries listed below
Sorting:
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- xmonad in Coq☆46Updated 13 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- ☆48Updated 6 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 10 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Compositional type checking for Haskell☆38Updated 14 years ago
- Dependently typed Algorithm M and friends☆26Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated last week
- Type provider library for Idris☆95Updated 8 years ago
- System F in coq.☆19Updated 11 years ago
- Self-contained repository for the eponymous paper☆30Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Tiny type-checker with dependent types☆78Updated 12 years ago
- A small NuPRL style proof assistant☆31Updated 7 years ago
- Miller/pattern unification in Agda☆68Updated 3 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- ☆32Updated 7 years ago
- ☆21Updated 8 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- ☆40Updated 7 years ago