<--- Back to Details
First PageDocument Content
Software engineering / Procedural programming languages / Logic in computer science / Hoare logic / Type theory / Separation logic / Standard ML / Heap / ALGOL 68 / Programming language theory / Theoretical computer science / Program logic
Date: 2011-07-10 14:38:56
Software engineering
Procedural programming languages
Logic in computer science
Hoare logic
Type theory
Separation logic
Standard ML
Heap
ALGOL 68
Programming language theory
Theoretical computer science
Program logic

Add to Reading List

Source URL: ynot.cs.harvard.edu

Download Document from Source Website

File Size: 350,77 KB

Share Document on Facebook

Similar Documents

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 / Computing / Computer programming / C / Procedural programming languages / Object-oriented programming languages / C11 / C99 / Errno.h / Fortran / Ada / ALGOL 68

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

Software engineering / Computer programming / Computing / Functional languages / Evaluation strategy / Computability theory / Lambda calculus / Theoretical computer science / Lazy evaluation / Functional programming / ALGOL 68 / Racket

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

DocID: 1rfUD - View Document

Software engineering / Computer programming / Programming language theory / Data types / Subroutines / Functional programming / Type theory / Procedural programming languages / Higher-order function / Option type / ALGOL 68 / Technical University of Denmark

02157 Functional Programming - Tagged values and Higher-order list functions

DocID: 1rahU - View Document

Software engineering / Computer programming / Declarative programming / Functional programming / Data types / Type theory / Monad / Option type / Type class / Map / ALGOL 68 / Functor

Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh

DocID: 1r6mD - View Document