1d4c58d9d7
Defines new notions of prototype and size that are used to provide tools for consistent and well-founded type-coercion and size-recycling, and are in turn connected to ideas of type- and size-stability useful for analyzing function interfaces.
4 lines
244 B
Text
4 lines
244 B
Text
Defines new notions of prototype and size that are used to provide
|
|
tools for consistent and well-founded type-coercion and
|
|
size-recycling, and are in turn connected to ideas of type- and
|
|
size-stability useful for analyzing function interfaces.
|