<--- Back to Details
First PageDocument Content
Data types / Functional programming / Programming language comparisons / Procedural programming languages / Cons / Lisp / List / Relational operator / Map / ALGOL 68 / Generalized algebraic data type
Date: 2016-04-19 09:56:22
Data types
Functional programming
Programming language comparisons
Procedural programming languages
Cons
Lisp
List
Relational operator
Map
ALGOL 68
Generalized algebraic data type

Deriving Generic Functions by Example

Add to Reading List

Source URL: ndmitchell.com

Download Document from Source Website

File Size: 96,77 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Programming languages / Procedural programming languages / Cross-platform software / Clojure / Multiple dispatch / Type system / Dynamic programming language

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document

Software engineering / Computer programming / Computing / Control flow / Procedural programming languages / Eval / Scheme / Anonymous function / Infinite loop / Assignment / Conditional / Meta-circular evaluator

Project 5 - The Meta-Circular Evaluator

DocID: 1rtvP - View Document

Software engineering / Programming language theory / Computer programming / Functional languages / Primality tests / Procedural programming languages / Integer sequences / Lazy evaluation / Pure / Sieve of Eratosthenes / ALGOL 68 / Functional programming

02157 Functional Programming - Sequences

DocID: 1rsIU - View Document

Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

DocID: 1rrvD - View Document

Software engineering / Computer programming / Computing / Functional languages / Procedural programming languages / Object-oriented programming languages / Cross-platform software / F Sharp / Microsoft Research / Eval / D

Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

DocID: 1rqrJ - View Document