<--- Back to Details
First PageDocument Content
Computing / Data types / Object-oriented programming / Procedural programming languages / Functional languages / Subtype polymorphism / ALGOL 68 / Type system / Polymorphism / Software engineering / Programming language theory / Type theory
Date: 2014-07-17 17:29:46
Computing
Data types
Object-oriented programming
Procedural programming languages
Functional languages
Subtype polymorphism
ALGOL 68
Type system
Polymorphism
Software engineering
Programming language theory
Type theory

Add to Reading List

Source URL: galois.com

Download Document from Source Website

File Size: 96,76 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