Publication View

Generic Operations on Nested Datatypes (2001)

Ian Bayley

Abstract

Nested datatypes are a generalisation of the class of regular datatypes, which includes familiar datatypes like trees and lists. They typically represent constraints on the values of regular datatypes and are therefore used to minimise the scope for programmer error.

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.5373
Source	http://web.comlab.ox.ac.uk/oucl/research/areas/ap/papers/bayley-thesis.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.41.548, 10.1.1.38.9875, 10.1.1.54.6229, 10.1.1.47.1361, 10.1.1.30.20, 10.1.1.112.6665, 10.1.1.35.3570, 10.1.1.87.1187, 10.1.1.31.3551, 10.1.1.30.2179, 10.1.1.42.4731, 10.1.1.39.8007, 10.1.1.42.1517, 10.1.1.46.223, 10.1.1.46.2207, 10.1.1.43.6166, 10.1.1.40.6647, 10.1.1.40.757, 10.1.1.42.1204, 10.1.1.35.7765, 10.1.1.37.4283, 10.1.1.111.2948, 10.1.1.85.1152