-
Updated
Mar 5, 2014 - TeX
type-theory
Here are 206 public repositories matching this topic...
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado
-
Updated
Dec 15, 2014 - Mathematica
Implementation of Martin-Löf Type Theory in Haskell
-
Updated
Feb 20, 2016 - Haskell
The Angler Functional Programming Language
-
Updated
Apr 17, 2016 - Haskell
-
Updated
May 16, 2016 - Racket
Software Foundations book and exercises taken from https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
-
Updated
Feb 24, 2017 - HTML
Fun plugin to play with the Gallina AST.
-
Updated
Feb 27, 2017 - OCaml
Type checking, type inference, Church, Curry, polymorphe types, Unification theory, ... All type theory related
-
Updated
Mar 31, 2017 - OCaml
Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
-
Updated
Apr 9, 2017 - Standard ML
Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.
-
Updated
May 4, 2017 - Coq
Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran
-
Updated
May 9, 2017 - Coq
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
-
Updated
Jun 3, 2017 - TeX
A PCF interpreter in Haskell.
-
Updated
Aug 1, 2017 - Haskell
-
Updated
Aug 4, 2017 - Idris
Haskell implementation of languages found in "Types and Programming Languages" book
-
Updated
Nov 3, 2017 - Haskell
Improve this page
Add a description, image, and links to the type-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-theory topic, visit your repo's landing page and select "manage topics."