<--- Back to Details
First PageDocument Content
Prolog / Algebraic Logic Functional programming language / Lisp programming language / Append / Logic programming / XL / Programming language / Operator / Ground expression / Software engineering / Computing / Computer programming
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

Add to Reading List

Source URL: www.informatik.uni-kiel.de

Download Document from Source Website

File Size: 175,55 KB

Share Document on Facebook

Similar Documents

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

AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia

DocID: 107zl - View Document

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

AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak

DocID: VT8R - View Document

Prolog / Algebraic Logic Functional programming language / Lisp programming language / Append / Logic programming / XL / Programming language / Operator / Ground expression / Software engineering / Computing / Computer programming

PDF Document

DocID: 1jY5 - View Document