Wiki
Clone wikiinf225public / glossary / Function type
[Alphabetical Index | Tag Index]
Function type
The representation of a function in the type system. Typically includes parameter types and return type, written t_1, ..., t_k → t.
Updated
[Alphabetical Index | Tag Index]
The representation of a function in the type system. Typically includes parameter types and return type, written t_1, ..., t_k → t.
Updated