| 
|
QuoteRef: bekiH_1971
topics >
all references >
Topic:
curried functions
Topic:
range checking
Topic:
type reflection and introspection
ThesaHelp:
references a-b
Topic:
safe use of pointers
Topic:
using pointers in Thesa
Topic:
data type compatibility
Topic:
parameter passing by name
Reference
Bekii, H., "An introduction to Algol 68", Annual Review of Automatic Programming, 7, pp. 143-163, 1971. Google
QuoteRef: bekiH_1971 ;;150 n := v does range checking on v
150 ;;Quote: a reference type conforms with a variable if it is a reference to the mode of the variable
150 ;;Quote: a call-by-name is passing a procedure QuoteRef: bekiH_1971 ;;150 n::= v checks v and n for mode conformity before replacement
Topic: curried functions (14 items)
Topic: range checking (20 items)
Topic: type reflection and introspection (28 items)
ThesaHelp: references a-b (396 items)
Topic: safe use of pointers (102 items)
Topic: using pointers in Thesa (49 items)
Topic: data type compatibility (5 items)
Topic: parameter passing by name (11 items)