| 
|
QuoteRef: boomHJ9_1976
topics >
all references >
ThesaHelp:
references a-b
Topic:
abstract data type
Topic:
data types in Thesa
Topic:
representation data type
Reference
Boom, H.J., "Extended type checking", Amsterdam, Mathematisch Centrum, IW 60/76, September 1976. Google
Notes
Stanford Computer Library #8890
abstract: ;;Quote: specification types for abstract data types, representation types for implementing them
ThesaHelp: references a-b (396 items)
Topic: abstract data type (64 items)
Topic: data types in Thesa (92 items)
Topic: representation data type (21 items)