ct-gradual-typing / PapersLinks
The Combination of Dynamic and Static Typing from a Categorical Perspective
☆10Updated 7 years ago
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below
Sorting:
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Semantics for Cryptol☆16Updated 7 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Base library for HoTT in Agda☆37Updated 6 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- ☆23Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 7 months ago
- An attempt to formalize unix cat in fiat☆12Updated 8 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A dependently typed type checker for a TT with intervals☆23Updated 5 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Updated 9 years ago
- Mechanizing Types and Programming Languages using Beluga☆18Updated 5 years ago
- Session types in Idris2!☆27Updated 4 years ago
- ☆30Updated 7 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35Updated 8 years ago
- being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017☆9Updated 8 years ago
- Type-Theory in Sequent Calculus☆13Updated 9 years ago
- Haskell's Core in K.☆20Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- Cohesive type theory☆19Updated 3 years ago
- ☆18Updated 3 years ago