A Critique of Type Systems for Global Overloading

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 schem...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Volpano, Dennis M
Format:	Report
Sprache:	eng
Schlagworte:	COMPUTER PROGRAMMING Computer Programming and Software GLOBAL LOADING(ELECTRONICS) OVERLOADING(COMPUTER PROGRAMMING) PROGRAMMERS PROGRAMMING LANGUAGES
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume
creator	Volpano, Dennis M
description	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.
format	Report
fullrecord	<record><control><sourceid>dtic_1RU</sourceid><recordid>TN_cdi_dtic_stinet_ADA278800</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>ADA278800</sourcerecordid><originalsourceid>FETCH-dtic_stinet_ADA2788003</originalsourceid><addsrcrecordid>eNrjZDB0VHAuyizJLCxNVchPUwipLEhVCK4sLknNLVZIyy9ScM_JT0rMUfAvSy3KyU9MycxL52FgTUvMKU7lhdLcDDJuriHOHropJZnJ8cUlmXmpJfGOLo5G5hYWBgbGBKQBliYoLg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>A Critique of Type Systems for Global Overloading</title><source>DTIC Technical Reports</source><creator>Volpano, Dennis M</creator><creatorcontrib>Volpano, Dennis M ; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE</creatorcontrib><description>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.</description><language>eng</language><subject>COMPUTER PROGRAMMING ; Computer Programming and Software ; GLOBAL ; LOADING(ELECTRONICS) ; OVERLOADING(COMPUTER PROGRAMMING) ; PROGRAMMERS ; PROGRAMMING LANGUAGES</subject><creationdate>1993</creationdate><rights>Approved for public release; distribution is unlimited. Document partially illegible.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,780,885,27566,27567</link.rule.ids><linktorsrc>$$Uhttps://apps.dtic.mil/sti/citations/ADA278800$$EView_record_in_DTIC$$FView_record_in_$$GDTIC$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Volpano, Dennis M</creatorcontrib><creatorcontrib>NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE</creatorcontrib><title>A Critique of Type Systems for Global Overloading</title><description>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.</description><subject>COMPUTER PROGRAMMING</subject><subject>Computer Programming and Software</subject><subject>GLOBAL</subject><subject>LOADING(ELECTRONICS)</subject><subject>OVERLOADING(COMPUTER PROGRAMMING)</subject><subject>PROGRAMMERS</subject><subject>PROGRAMMING LANGUAGES</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>1993</creationdate><recordtype>report</recordtype><sourceid>1RU</sourceid><recordid>eNrjZDB0VHAuyizJLCxNVchPUwipLEhVCK4sLknNLVZIyy9ScM_JT0rMUfAvSy3KyU9MycxL52FgTUvMKU7lhdLcDDJuriHOHropJZnJ8cUlmXmpJfGOLo5G5hYWBgbGBKQBliYoLg</recordid><startdate>199307</startdate><enddate>199307</enddate><creator>Volpano, Dennis M</creator><scope>1RU</scope><scope>BHM</scope></search><sort><creationdate>199307</creationdate><title>A Critique of Type Systems for Global Overloading</title><author>Volpano, Dennis M</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-dtic_stinet_ADA2788003</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>1993</creationdate><topic>COMPUTER PROGRAMMING</topic><topic>Computer Programming and Software</topic><topic>GLOBAL</topic><topic>LOADING(ELECTRONICS)</topic><topic>OVERLOADING(COMPUTER PROGRAMMING)</topic><topic>PROGRAMMERS</topic><topic>PROGRAMMING LANGUAGES</topic><toplevel>online_resources</toplevel><creatorcontrib>Volpano, Dennis M</creatorcontrib><creatorcontrib>NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE</creatorcontrib><collection>DTIC Technical Reports</collection><collection>DTIC STINET</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Volpano, Dennis M</au><aucorp>NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE</aucorp><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><btitle>A Critique of Type Systems for Global Overloading</btitle><date>1993-07</date><risdate>1993</risdate><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.</abstract><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier
ispartof
issn
language	eng
recordid	cdi_dtic_stinet_ADA278800
source	DTIC Technical Reports
subjects	COMPUTER PROGRAMMING Computer Programming and Software GLOBAL LOADING(ELECTRONICS) OVERLOADING(COMPUTER PROGRAMMING) PROGRAMMERS PROGRAMMING LANGUAGES
title	A Critique of Type Systems for Global Overloading
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T02%3A10%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-dtic_1RU&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.btitle=A%20Critique%20of%20Type%20Systems%20for%20Global%20Overloading&rft.au=Volpano,%20Dennis%20M&rft.aucorp=NAVAL%20POSTGRADUATE%20SCHOOL%20MONTEREY%20CA%20DEPT%20OF%20COMPUTER%20SCIENCE&rft.date=1993-07&rft_id=info:doi/&rft_dat=%3Cdtic_1RU%3EADA278800%3C/dtic_1RU%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true