On the semantics of nested datatypes

Information Processing Letters

Volumn 80, Issue 5, 2001, Pages 233-238

  Martin, Clare ^a   Gibbons, Jeremy ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Data structures; First order and higher order nested datatypes; Formal semantics; Functional programming; Functor categories; Program derivation; Programming calculi

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS PROGRAMMING; DATA DESCRIPTION; DATABASE SYSTEMS; DESCRIBING FUNCTIONS; POLYNOMIALS; SEMANTICS; SET THEORY; TREES (MATHEMATICS);

NESTED DATATYPES;

DATA STRUCTURES;

EID: 0035892396     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(01)00168-5     Document Type: Article

References (11)

1. Nested datatypes
2. Generalised folds for nested datatypes
3. Manufacturing datatypes
4. Algebraic data types program transformation
5. Algebraic Approaches to Program Semantics
6. Functional programming with bananas, lenses, envelopes and barbed wire
7. From fast exponentiation to square matrices: An adventure in types