<--- Back to Details
First PageDocument Content
Functional programming / Higher-order functions / Data types / Lisp programming language / Fold / Recursion / Map / Append / Monad / Software engineering / Computing / Computer programming
Date: 2011-10-16 20:52:33
Functional programming
Higher-order functions
Data types
Lisp programming language
Fold
Recursion
Map
Append
Monad
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: tug.org

Download Document from Source Website

File Size: 686,65 KB

Share Document on Facebook

Similar Documents

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

DocID: 1xUKP - View Document

Theoretical computer science / Logic in computer science / Programming language semantics / Models of computation / Game theory / Semantics / Denotational semantics / Game semantics / Determinacy / Samson Abramsky / Operational semantics

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

DocID: 1xToC - View Document

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

DocID: 1vlSe - View Document

RAID Introduction • RAID – Redundant Array of Independent Disks • combines multiple drives into a single large storage • widely used in NASes and servers • Different RAID types are called levels

DocID: 1v7ZT - View Document

Data Sources on the Web Data Sources on the Web is an online library resource guide (or LibGuide) that provides access to a variety of sources of statistical and other types of data that are available online through gove

DocID: 1uXOZ - View Document