<--- Back to Details
First PageDocument Content
Procedural programming languages / ALGOL / Peter Naur / Turing Award / John Backus / Backus–Naur Form / Friedrich L. Bauer / Charles H. Lindsey / IFIP Working Group 2.1 / Software engineering / Computing / Programming language theory
Date: 2013-01-05 04:40:37
Procedural programming languages
ALGOL
Peter Naur
Turing Award
John Backus
Backus–Naur Form
Friedrich L. Bauer
Charles H. Lindsey
IFIP Working Group 2.1
Software engineering
Computing
Programming language theory

Technische Universiteit Eindhoven Department of Mathematics and Computer Science

Add to Reading List

Source URL: www.heerdebeer.org

Download Document from Source Website

File Size: 1,12 MB

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