| 
|
QuoteRef: fostJM6_1977
topics >
all references >
ThesaHelp:
references e-f
Topic:
higher-order functions and combinators
Topic:
type parameter
Reference
Foster, J.M., Foster, P.D., "Abstract data and functors", SIGPLAN, 12, 6, pp. 161-167, June 1977. Google
162 ;;Quote: (functor (F X)) = (functor F) (functor X)
164 ;;Quote: apply a functor to a polymorphic, scalar product to get a real or boolean scalar product
167 ;;Quote: define a parameterized type which becomes a specific type when given a type argument
ThesaHelp: references e-f (168 items)
Topic: higher-order functions and combinators (19 items)
Topic: type parameter (34 items)