Indexed types
A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is e...
Gespeichert in:
| Veröffentlicht in: | Theoretical computer science 1997-11, Vol.187 (1-2), p.147-165 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 165 |
|---|---|
| container_issue | 1-2 |
| container_start_page | 147 |
| container_title | Theoretical computer science |
| container_volume | 187 |
| creator | Zenger, Christoph |
| description | A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is especially of interest in computer algebra. |
| doi_str_mv | 10.1016/S0304-3975(97)00062-5 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_22187338</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>22187338</sourcerecordid><originalsourceid>FETCH-LOGICAL-c329t-9b6d52a2f34435080c2f71dd033b8acf2041d96e7efd200114b6c88fe2ddb4e53</originalsourceid><addsrcrecordid>eNo9j0tLAzEUhbNQsNb-BMGV6GL0JjfPpRSthUIX1XWYSW6gMu2MyRTsv7cPcXXgnI8DH2O3HJ44cP28AgRZoTPqwZlHANCiUhds9F9fsetSvg4DKKNHbDLfRvqheDfseyo37DLVbaHJX47Z59vrx_S9Wixn8-nLogoo3FC5RkclapFQSlRgIYhkeIyA2Ng6JAGSR6fJUIoCgHPZ6GBtIhFjI0nhmN2ff_vcfe-oDH6zLoHatt5StyteCG4Noj2A6gyG3JWSKfk-rzd13nsO_ijsT8L-aOad8Sdhr_AXLgFI7Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>22187338</pqid></control><display><type>article</type><title>Indexed types</title><source>Elsevier ScienceDirect Journals Complete</source><source>EZB Electronic Journals Library</source><creator>Zenger, Christoph</creator><creatorcontrib>Zenger, Christoph</creatorcontrib><description>A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is especially of interest in computer algebra.</description><identifier>ISSN: 0304-3975</identifier><identifier>DOI: 10.1016/S0304-3975(97)00062-5</identifier><language>eng</language><ispartof>Theoretical computer science, 1997-11, Vol.187 (1-2), p.147-165</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c329t-9b6d52a2f34435080c2f71dd033b8acf2041d96e7efd200114b6c88fe2ddb4e53</citedby><cites>FETCH-LOGICAL-c329t-9b6d52a2f34435080c2f71dd033b8acf2041d96e7efd200114b6c88fe2ddb4e53</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Zenger, Christoph</creatorcontrib><title>Indexed types</title><title>Theoretical computer science</title><description>A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is especially of interest in computer algebra.</description><issn>0304-3975</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1997</creationdate><recordtype>article</recordtype><recordid>eNo9j0tLAzEUhbNQsNb-BMGV6GL0JjfPpRSthUIX1XWYSW6gMu2MyRTsv7cPcXXgnI8DH2O3HJ44cP28AgRZoTPqwZlHANCiUhds9F9fsetSvg4DKKNHbDLfRvqheDfseyo37DLVbaHJX47Z59vrx_S9Wixn8-nLogoo3FC5RkclapFQSlRgIYhkeIyA2Ng6JAGSR6fJUIoCgHPZ6GBtIhFjI0nhmN2ff_vcfe-oDH6zLoHatt5StyteCG4Noj2A6gyG3JWSKfk-rzd13nsO_ijsT8L-aOad8Sdhr_AXLgFI7Q</recordid><startdate>19971115</startdate><enddate>19971115</enddate><creator>Zenger, Christoph</creator><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>19971115</creationdate><title>Indexed types</title><author>Zenger, Christoph</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c329t-9b6d52a2f34435080c2f71dd033b8acf2041d96e7efd200114b6c88fe2ddb4e53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1997</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Zenger, Christoph</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>Theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Zenger, Christoph</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Indexed types</atitle><jtitle>Theoretical computer science</jtitle><date>1997-11-15</date><risdate>1997</risdate><volume>187</volume><issue>1-2</issue><spage>147</spage><epage>165</epage><pages>147-165</pages><issn>0304-3975</issn><abstract>A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is especially of interest in computer algebra.</abstract><doi>10.1016/S0304-3975(97)00062-5</doi><tpages>19</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0304-3975 |
| ispartof | Theoretical computer science, 1997-11, Vol.187 (1-2), p.147-165 |
| issn | 0304-3975 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_22187338 |
| source | Elsevier ScienceDirect Journals Complete; EZB Electronic Journals Library |
| title | Indexed types |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T09%3A01%3A48IST&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=Indexed%20types&rft.jtitle=Theoretical%20computer%20science&rft.au=Zenger,%20Christoph&rft.date=1997-11-15&rft.volume=187&rft.issue=1-2&rft.spage=147&rft.epage=165&rft.pages=147-165&rft.issn=0304-3975&rft_id=info:doi/10.1016/S0304-3975(97)00062-5&rft_dat=%3Cproquest_cross%3E22187338%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=22187338&rft_id=info:pmid/&rfr_iscdi=true |