| 
|
QuoteRef: morrJH_1974
topics >
all references >
ThesaHelp:
references m-o
Topic:
ref_any or Object data type
Topic:
type conversion
Topic:
data types in Thesa
Topic:
higher-order functions and combinators
Topic:
generic operations and polymorphism
Reference
Morris, J.H. Jr., "Towards more flexible type systems", pp. 377-384, in Goos, G., Hartmanis, J. (ed.), Programming Symposium, Lecture Notes in Computer Science, 19, Berlin, Springer-Verlag, 1974. Google
378 ;;Quote: programmer needs access to a type's representation if its primitive operations are inadequate
379 ;;Quote: a transferable data type can be converted to another format with no type checking
382 ;;Quote: the apply_twice function modifier is polymorphic because it is independent of the operands type
ThesaHelp: references m-o (268 items)
Topic: ref_any or Object data type (9 items)
Topic: type conversion (33 items)
Topic: data types in Thesa (92 items)
Topic: higher-order functions and combinators (19 items)
Topic: generic operations and polymorphism (65 items)