![Type theory / Functional languages / Proof assistants / Dependently typed programming / Logic in computer science / Coq / Dependent type / Functional programming / Haskell / Inductive type / Quicksort / CurryHoward correspondence Type theory / Functional languages / Proof assistants / Dependently typed programming / Logic in computer science / Coq / Dependent type / Functional programming / Haskell / Inductive type / Quicksort / CurryHoward correspondence](https://www.pdfsearch.io/img/22d552c578b1f6b306e679f89aa13fa9.jpg) Date: 2015-01-06 13:25:00Type theory Functional languages Proof assistants Dependently typed programming Logic in computer science Coq Dependent type Functional programming Haskell Inductive type Quicksort CurryHoward correspondence | | Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University NijmegenAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 499,08 KBShare Document on Facebook
|