There are 1 repository under curry-howard-isomorphism topic.
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
A non-interactive proof assistant using the Haskell type system
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
A Language for the Lazy
Modal programming in Haskell
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.