<--- Back to Details
First PageDocument Content
Literate programming / Functional languages / Higher-order functions / Models of computation / Logic programming / Unification / Lambda calculus / Prolog / Haskell / Software engineering / Computing / Computer programming
Date: 2014-12-01 04:07:07
Literate programming
Functional languages
Higher-order functions
Models of computation
Logic programming
Unification
Lambda calculus
Prolog
Haskell
Software engineering
Computing
Computer programming

1 2 Implementing Semantic Theories

Add to Reading List

Source URL: homepages.cwi.nl

Download Document from Source Website

File Size: 343,52 KB

Share Document on Facebook

Similar Documents

ANALYTICAL DRIVING FUNCTIONS FOR HIGHER ORDER AMBISONICS Jens Ahrens, Sascha Spors Deutsche Telekom Laboratories, Berlin University of Technology, Ernst-Reuter-Platz 7, 10587 Berlin, Germany {jens.ahrens,sascha.spors}@te

DocID: 1uHac - View Document

Blending White Paper Surface Blending is one of the most critical functions of any surface design package. With Surface Blending you can construct a large complex smooth objects such as a car body or a face. Higher order

DocID: 1upat - View Document

More About Higher-Order Functions Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

DocID: 1sCDC - View Document

Table of Contents Views of Operations in GIS Toward a Network Map Algebra.............................................................. 1 Marc P. Armstrong and Paul J. Densham Higher Order Functions Necessary for Spatial

DocID: 1swlR - View Document

HIGHER ORDER FUNCTIONS NECESSARY FOR SPATIAL THEORY DEVELOPMENT Andrew U. Frank Dept. of Geoinformation Technical University Vienna

DocID: 1s2br - View Document