Agda - PDFSEARCH.IO - Document Search Engine

Agda
Results: 93

#	Item
81	Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto 2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-05-22 19:06:42 Mathematical constructivism Type theory Proof theory Logic in computer science Metalogic Realizability Agda Curry–Howard correspondence MINLOG Logic Mathematical logic Mathematics
82	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
83	Rheinische Friedrich-Wilhelms-Universität Bonn Institut für Informatik III Add to Reading List Source URL: www.iai.uni-bonn.de Language: English - Date: 2014-01-24 04:21:13 Type theory Functional languages Data types Agda Haskell Functional programming Dependent type Pattern matching Type system Software engineering Computing Programming language theory
84	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
85	ZU064-05-FPR aopa Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2009-01-30 14:43:06 Higher-order functions Recursion Fold Functional languages Map Functions and mappings Lambda calculus Agda Function Software engineering Computing Declarative programming
86	Thesis for the degree of Doctor of Philosophy Towards a practical programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:01 Computing Functional languages Automated theorem proving Programming paradigms Logic in computer science Agda Dependent type Type system Coq Software engineering Programming language theory Type theory
87	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: wiki.portal.chalmers.se Language: English - Date: 2010-06-22 17:03:15 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
88	Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2012-11-06 09:48:46 Functional languages Functional programming Scripting languages Lisp programming language Type theory Agda Lambda calculus ECMAScript JavaScript Computing Software engineering Computer programming
89	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science