<--- Back to Details
First PageDocument Content
Procedural programming languages / Data types / Logic in computer science / Programming language semantics / C programming language / Denotational semantics / Pointer / ALGOL 68 / C syntax / Software engineering / Computing / Computer programming
Date: 2011-02-17 08:33:45
Procedural programming languages
Data types
Logic in computer science
Programming language semantics
C programming language
Denotational semantics
Pointer
ALGOL 68
C syntax
Software engineering
Computing
Computer programming

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Download Document from Source Website

File Size: 478,32 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