| Abstract |
Bibliography |
A Semantics for Shape
Abstract
Author CBJ
Shapely types separate data, represented by lists, from shape, or
structure. This separation supports shape polymorphism, where
operations are defined for arbitrary shapes, and shapely operations,
for which the shape of the result is determined by that of the input,
permitting static shape checking. The shapely types are closed under
the formation of fixpoints, and hence include the usual algebraic
types of lists, trees, etc. They also include other standard data
structures such as arrays, graphs and records.
Page Last Updated:
Main |
Personal Details |
Research Interests |
Research Publications
FISh |
SDCS |
Site Map
Please feel free to send any comments.
Copyright Barry Jay © 1998
