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.
To install this package, run one of the following:
Summary
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.
Last Updated
Sep 27, 2019 at 16:00
License
GPL-3
Total Downloads
41
Version Downloads
41
Supported Platforms