| 
|
Group: procedure and type-valued variables
topics >
computer science >
procedures as data
Topic:
procedure valued variables
Topic:
type parameter
Topic:
type variable
data type
Group:
function
Group:
variables
Topic:
evaluate operator
Topic:
function signature
Topic:
non-primitive values
Topic:
parameter passing by name
Topic:
symbolic manipulation of formulas
Topic:
type algebras, typed lambda calculus, and type-complete languages
Notes
Topic: procedures as data (22 items)
Topic: procedure valued variables (34 items)
Topic: type parameter (34 items)
Topic: type variable
(5 items)
Group: data type (34 topics, 730 quotes)
Group: function (12 topics, 232 quotes)
Group: variables (10 topics, 128 quotes)Topic: evaluate operator (7 items)
Topic: function signature (21 items)
Topic: non-primitive values (11 items)
Topic: parameter passing by name (11 items)
Topic: symbolic manipulation of formulas (12 items)
Topic: type algebras, typed lambda calculus, and type-complete languages
(28 items)