<--- Back to Details
First PageDocument Content
Computing / Functional languages / Escher / Logic programming / Gödel / Procedural programming / Programming language / Prolog / Declarative programming / Software engineering / Programming paradigms / Computer programming
Date: 2004-01-23 12:07:32
Computing
Functional languages
Escher
Logic programming
Gödel
Procedural programming
Programming language
Prolog
Declarative programming
Software engineering
Programming paradigms
Computer programming

Add to Reading List

Source URL: www.cs.bris.ac.uk

Download Document from Source Website

File Size: 456,14 KB

Share Document on Facebook

Similar Documents

Object Calisthenics 11 steps to better software design today. We’ve all seen poorly written code that’s hard to understand, test, and maintain. Object-oriented programming promised to save us from our old procedural

DocID: 1sEFo - View Document

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