Shapely Types and Shape Polymorphism

Shapely Types and Shape Polymorphism (1994)

Cached

Download Links

[ftp.socs.uts.edu.au]

Other Repositories/Bibliography

DBLP

by C. Barry Jay , J.R.B. Cockett

Venue:	Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming
Citations:	32 - 6 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Shapely Types and Shape Polymorphism	user correction - Legacy Corrections
AUTHOR NAME	C. Barry Jay	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	J.R.B. Cockett	user correction - Legacy Corrections
AUTHOR AFFIL	; 2; 1; School of Computing Sciences, University of Technology; 2; Department of Computer Science, University of Calgary	user correction - Legacy Corrections
AUTHOR ADDR	; Sydney, PO Box 123; Broadway, 2007, Australia; Calgary, Alberta,; T2N 1N4, Canada	user correction - Legacy Corrections
ABSTRACT	. 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. They include both arrays and the usual algebraic types (of trees, graphs, etc.), and are closed under the formation of initial algebras. 1 Introduction Consider the operation map which applies a function to each element of a list. In existing functional languages, its type is (ff!fi)!ff list!fi list where ff and fi may range over any types. This data polymorphism allows the data (ff and fi) to vary, but uses a fixed shape, list. Shape polymorphism fixes the data, but allows the shape to vary, so that, for types A and B, instances of map include (A!B)!A tree!B tree and (A!B)!A matrix!B matrix In each case map(f) applies f to the data (the leaves or entries), while leaving the shape fi...	user correction - Legacy Corrections
YEAR	1994	INFERENCE
VENUE	Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	302--316	INFERENCE
CITATIONS	12 found	ParsCit 1.0