DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA278800
Title:
A Critique of Type Systems for Global Overloading
Corporate Author:
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Report Date:
1993-07-01
Abstract:
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.
Descriptive Note:
Final rept. Oct 1991-Sep 1992
Supplementary Note:
DOI: 10.21236/ADA278800
Pages:
0018
Distribution Statement:
Approved for public release; distribution is unlimited. Document partially illegible.
File Size:
0.66MB
