being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde
☆13May 9, 2017Updated 8 years ago
Alternatives and similar repositories for CS410-16
Users that are interested in CS410-16 are comparing it to the libraries listed below
Sorting:
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- Logical relations proof in Agda☆27May 27, 2015Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- An interpreter for Janus, the reversible programming language.☆14Jun 7, 2020Updated 5 years ago
- wired is an UNIX server for the Wired 2.0 protocol☆18Apr 26, 2024Updated last year
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- A library for doing generic programming in Agda☆36Jan 27, 2021Updated 5 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 12 years ago
- ☆17Jul 29, 2018Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 8 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- ☆27Jun 30, 2014Updated 11 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 3 months ago
- Agda formalisation of NbE for λ□☆18Dec 5, 2017Updated 8 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago