Agda

#	Item
91	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-09-21 05:09:48 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
92	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
93	PDF Document Add to Reading List Source URL: ocvs.cfv.jp Language: English - Date: 2007-02-22 06:02:29 Agda Haskell Emacs ALF Type theory Dependent type Coq Lambda calculus Functional programming Software Computing Functional languages