epsrc-abcd / session-types-use-cases
This is a common repository for the ABCD team to share use-cases of session types.
☆15Updated 9 years ago
Alternatives and similar repositories for session-types-use-cases:
Users that are interested in session-types-use-cases are comparing it to the libraries listed below
- Formalization of the Dependent Object Types (DOT) calculus☆64Updated 2 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 9 years ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- Dependent Object Types (DOT), bottom up☆84Updated 3 years ago
- Experiments with sequent calculi☆26Updated 3 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 6 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- an exploration of subtyping-based category theory in scala☆25Updated 14 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆49Updated 7 months ago
- Formalisation of Goedel's System T in Coq☆15Updated 13 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- ☆12Updated 9 years ago
- A small library for tracking mutable state in Idris programs☆12Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Updated 9 years ago
- ☆30Updated 10 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆30Updated 4 months ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 6 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆15Updated 5 months ago
- My London HUG talk: Recursion Schemes by Example☆50Updated 10 years ago
- Where my everyday research happens☆52Updated this week
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago