<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Functional programming / Data types / Control flow / Eval / Lambda calculus / Subroutines / Interpreter / Higher-order function / ECL programming language
Date: 2013-01-17 16:57:52
Software engineering
Computer programming
Computing
Functional programming
Data types
Control flow
Eval
Lambda calculus
Subroutines
Interpreter
Higher-order function
ECL programming language

02157 Functional ProgrammingFunctional Programming

Add to Reading List

Source URL: www.imm.dtu.dk

Download Document from Source Website

File Size: 236,49 KB

Share Document on Facebook

Similar Documents

Mathematical logic / Software engineering / Theoretical computer science / Type theory / Computability theory / Logic in computer science / Proof assistants / Logic for Computable Functions / HOL / Lambda calculus / Primitive recursive function / Recursion

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

DocID: 1rjEK - View Document

Software engineering / Computer programming / Declarative programming / Functional programming / Data types / Programming language comparisons / Type theory / Higher-order functions / Fold / Generic programming / Map / Type class

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

DocID: 1rghj - View Document

Software engineering / Computer programming / Programming language theory / Data types / Subroutines / Functional programming / Type theory / Procedural programming languages / Higher-order function / Option type / ALGOL 68 / Technical University of Denmark

02157 Functional Programming - Tagged values and Higher-order list functions

DocID: 1rahU - View Document

Software engineering / Computer programming / Computing / Subroutines / Object-oriented programming languages / Functional languages / Functional programming / Higher-order functions / Scala / Anonymous function / Nested function / Iterator

Scala By Example June 11, 2014 Martin Odersky

DocID: 1r8S2 - View Document

Software engineering / Computer programming / Declarative programming / Type theory / Data types / Functional programming / Higher-order functions / Object-oriented programming / Subtyping / Fold / Map / Function

Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

DocID: 1qyED - View Document