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
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
NPS Report NumberNPS-CS-94-006
Showing items related by title, author, creator and subject.
Kang, Wei; Barbot, Jean-Pierre; Xu, Liang (Springer, 2009);In this paper, new concept of observability are introduced for both nonlinear systems and switched systems. The new definitions are applicable to a much broader family of problems of estimation including unmeasured state ...
Irvine, Cynthia E. (Naval Postgraduate School (U.S)., 2005-06-00);The significant efficiencies possible through the use of information technology in public systems are alluring, however, as the value of the information stored electronically increases, computer systems become targets for ...
Newman, Alexandra M. (Monterey, California. Naval Postgraduate School, 2000-04-01); NPS-OR-00-005The Space Command Optimizer of Utility Toolkit (SCOUT) is an integer linear program used by the Air Force Office of Aerospace Studies to help plan the research and development of space-based systems over a 25-year horizon. ...