Algebraic Logic Functional programming language

#	Item
1	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
2	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
3	PDF Document Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2006-08-14 07:57:03 Prolog Algebraic Logic Functional programming language Lisp programming language Append Logic programming XL Programming language Operator Ground expression Software engineering Computing Computer programming