<--- Back to Details
First PageDocument Content
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
Date: 2013-01-17 16:16:49
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

Add to Reading List

Source URL: www.imm.dtu.dk

Download Document from Source Website

File Size: 422,80 KB

Share Document on Facebook

Similar Documents

Programming Language Methods in Computer Security John Mitchell Stanford University

Programming Language Methods in Computer Security John Mitchell Stanford University

DocID: 1umIb - View Document

Theory and Practice of Logic Programming  1 The Language Features and Architecture of B-Prolog

Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

DocID: 1tFuL - View Document

Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab

Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab

DocID: 1sUyz - View Document

Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm  Arrival and Registration

Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration

DocID: 1ru6u - View Document

bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision  sオ「ェ・」エZ@

bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@

DocID: 1rtVS - View Document