Subtypes and quantification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1991-10, Vol.13 (4), p.631-632
1. Verfasser:	Volpano, Dennis M.
Format:	Artikel
Sprache:	eng
Schlagworte:	Program constructs Semantics and reasoning Theory of computation Type structures
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	632
container_issue	4
container_start_page	631
container_title	ACM transactions on programming languages and systems
container_volume	13
creator	Volpano, Dennis M.
description
doi_str_mv	10.1145/115372.214523
format	Article
fullrecord	<record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29025600</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>29025600</sourcerecordid><originalsourceid>FETCH-LOGICAL-a242t-3a84ffc83f7938cda647bf6c6f6afe8daf9491d085f86ff392309665c052e4ba3</originalsourceid><addsrcrecordid>eNo90DtLxEAQwPFFFIynpYXYXGWXc_aZ3VIOX3BgodbLZLMDkbwumxT37T3JYTUD82OKP2O3HDacK_3IuZaF2IjjLuQZy7jWNlfayXOWATcqByf0JbtK6QcAuNU2Y_efczkdhpjW2FXr_YzdVFMdcKr77ppdEDYp3pzmin2_PH9t3_Ldx-v79mmXo1BiyiVaRRSspMJJGyo0qijJBEMGKdoKySnHK7CarCGSTkhwxugAWkRVolyxh-XvMPb7OabJt3UKsWmwi_2cvHAgtAE4wnyBYexTGiP5YaxbHA-eg_9L4JcEfklw9HeLx9D-09PtF5jKVOk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>29025600</pqid></control><display><type>article</type><title>Subtypes and quantification</title><source>ACM Digital Library Complete</source><creator>Volpano, Dennis M.</creator><creatorcontrib>Volpano, Dennis M.</creatorcontrib><identifier>ISSN: 0164-0925</identifier><identifier>EISSN: 1558-4593</identifier><identifier>DOI: 10.1145/115372.214523</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Program constructs ; Semantics and reasoning ; Theory of computation ; Type structures</subject><ispartof>ACM transactions on programming languages and systems, 1991-10, Vol.13 (4), p.631-632</ispartof><rights>ACM</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-a242t-3a84ffc83f7938cda647bf6c6f6afe8daf9491d085f86ff392309665c052e4ba3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://dl.acm.org/doi/pdf/10.1145/115372.214523$$EPDF$$P50$$Gacm$$H</linktopdf><link.rule.ids>314,780,784,2280,27923,27924,40195,75999</link.rule.ids></links><search><creatorcontrib>Volpano, Dennis M.</creatorcontrib><title>Subtypes and quantification</title><title>ACM transactions on programming languages and systems</title><addtitle>ACM TOPLAS</addtitle><subject>Program constructs</subject><subject>Semantics and reasoning</subject><subject>Theory of computation</subject><subject>Type structures</subject><issn>0164-0925</issn><issn>1558-4593</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1991</creationdate><recordtype>article</recordtype><recordid>eNo90DtLxEAQwPFFFIynpYXYXGWXc_aZ3VIOX3BgodbLZLMDkbwumxT37T3JYTUD82OKP2O3HDacK_3IuZaF2IjjLuQZy7jWNlfayXOWATcqByf0JbtK6QcAuNU2Y_efczkdhpjW2FXr_YzdVFMdcKr77ppdEDYp3pzmin2_PH9t3_Ldx-v79mmXo1BiyiVaRRSspMJJGyo0qijJBEMGKdoKySnHK7CarCGSTkhwxugAWkRVolyxh-XvMPb7OabJt3UKsWmwi_2cvHAgtAE4wnyBYexTGiP5YaxbHA-eg_9L4JcEfklw9HeLx9D-09PtF5jKVOk</recordid><startdate>19911001</startdate><enddate>19911001</enddate><creator>Volpano, Dennis M.</creator><general>ACM</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19911001</creationdate><title>Subtypes and quantification</title><author>Volpano, Dennis M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a242t-3a84ffc83f7938cda647bf6c6f6afe8daf9491d085f86ff392309665c052e4ba3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Program constructs</topic><topic>Semantics and reasoning</topic><topic>Theory of computation</topic><topic>Type structures</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Volpano, Dennis M.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>ACM transactions on programming languages and systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Volpano, Dennis M.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Subtypes and quantification</atitle><jtitle>ACM transactions on programming languages and systems</jtitle><stitle>ACM TOPLAS</stitle><date>1991-10-01</date><risdate>1991</risdate><volume>13</volume><issue>4</issue><spage>631</spage><epage>632</epage><pages>631-632</pages><issn>0164-0925</issn><eissn>1558-4593</eissn><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/115372.214523</doi><tpages>2</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0164-0925
ispartof	ACM transactions on programming languages and systems, 1991-10, Vol.13 (4), p.631-632
issn	0164-0925 1558-4593
language	eng
recordid	cdi_proquest_miscellaneous_29025600
source	ACM Digital Library Complete
subjects	Program constructs Semantics and reasoning Theory of computation Type structures
title	Subtypes and quantification
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T01%3A17%3A58IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Subtypes%20and%20quantification&rft.jtitle=ACM%20transactions%20on%20programming%20languages%20and%20systems&rft.au=Volpano,%20Dennis%20M.&rft.date=1991-10-01&rft.volume=13&rft.issue=4&rft.spage=631&rft.epage=632&rft.pages=631-632&rft.issn=0164-0925&rft.eissn=1558-4593&rft_id=info:doi/10.1145/115372.214523&rft_dat=%3Cproquest_cross%3E29025600%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=29025600&rft_id=info:pmid/&rfr_iscdi=true