| 
|
Quote: a function type is a cross product of its argument types to its result type
topics >
all references >
references i-l >
Topic:
function signature
Topic:
type algebras, typed lambda calculus, and type-complete languages
Note
functions have a type such as t1Xt2Xt3X...Xtn-> t0 of argument types and result type
Topic: function signature (21 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)