A critique of type systems for global overloading
Volpano, Dennis M.
MetadataShow full item record
Proposed extensions of the ML type system to incorporate global overloading include the systems of Kae88, CD091, Smi9l, Kae92, Jon92 and those related to the design of the functional programming language Haskell WaB89, CH092, niP93. These systems have in common the notion of a constrained type scheme which in some is realized by type kinds and in others as explicit predicates. An analysis of these type systems reveals that some are unsound with regard to a suitable criterion for typability and some adopt a notion of type generality that is inconsistent with that of system ML DaM82. Type systems, Global overloading
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-CS-94-006
Showing items related by title, author, creator and subject.
An analysis of the Naval Innovation Laboratory's virtual work environment-based management information system for application in joint service explosive ordnance disposal notional concepts management Keene, Stephen G. (Monterey, California: Naval Postgraduate School, 2009-12);The Joint Service Explosive Ordnance Disposal (JSEOD) community uses the Notional Concepts process to assess the potential for existing or emerging technologies to satisfy EOD mission needs. Notional Concepts are user-defined ...
Douangaphaivong, Thaveephone NMN. (Monterey California. Naval Postgraduate School, 2004-12);The Littoral Combat Ship's (LCS) minimally manned core crew goal is 15 to 50 manpower requirements and the threshold, for both core and mission-package crews, is 75 to 110. This dramatically smaller crew size will require ...
Giachetti, Ronald E. (2015-12);Deriving capability needs for a system-of· systems (SoS) is more challenging than for traditional systems because many of the component systems already exist, they are acquired and managed separately from the SoS, and ...