Map
Index
Random
Help
th

Quote: composing functions for assign and access yields a type retract whose range is all legal values for that type

topics > all references > references c-d > QuoteRef: demeA_1978 , p. 25 if



Topic:
type retract

Quotation Skeleton

value extraction is defined by a function hold … (l) (v) (s) for v.memberOf.V (where V is … (1) (v) (s)) of type V->V) must be … is the set of values which may be … and Wirth '75).   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: type retract (12 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.