No Cover Image

Conference Paper/Proceeding/Abstract 329 views

Imperative Polymorphism by Store-Based Types as Abstract Interpretations

Casper Bach Poulsen, Peter Mosses Orcid Logo, Paolo Torrini

Pages: 3 - 8

Swansea University Author: Peter Mosses Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/2678015.2682545

Abstract

Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abst...

Full description

Published: 2015
URI: https://cronfa.swan.ac.uk/Record/cronfa48796
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-02-11T20:04:25Z
last_indexed 2019-02-21T14:07:29Z
id cronfa48796
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-02-21T12:21:42.6522823</datestamp><bib-version>v2</bib-version><id>48796</id><entry>2019-02-11</entry><title>Imperative Polymorphism by Store-Based Types as Abstract Interpretations</title><swanseaauthors><author><sid>3f13b8ec315845c81d371f41e772399c</sid><ORCID>0000-0002-5826-7520</ORCID><firstname>Peter</firstname><surname>Mosses</surname><name>Peter Mosses</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-02-11</date><deptcode>FGSEN</deptcode><abstract>Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abstract interpretation as a tool for constructing safe and precise type systems, and investigate how to derive store-based types by abstract interpretation. We propose store-based types as a type discipline that holds potential for interesting and flexible alternatives to the value restriction.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal/><paginationStart>3</paginationStart><paginationEnd>8</paginationEnd><publisher/><keywords/><publishedDay>13</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-01-13</publishedDate><doi>10.1145/2678015.2682545</doi><url/><notes/><college>COLLEGE NANME</college><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-02-21T12:21:42.6522823</lastEdited><Created>2019-02-11T15:45:38.9571916</Created><path><level id="1">College of Science</level><level id="2">College of Science</level></path><authors><author><firstname>Casper</firstname><surname>Bach Poulsen</surname><order>1</order></author><author><firstname>Peter</firstname><surname>Mosses</surname><orcid>0000-0002-5826-7520</orcid><order>2</order></author><author><firstname>Paolo</firstname><surname>Torrini</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-02-21T12:21:42.6522823 v2 48796 2019-02-11 Imperative Polymorphism by Store-Based Types as Abstract Interpretations 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2019-02-11 FGSEN Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abstract interpretation as a tool for constructing safe and precise type systems, and investigate how to derive store-based types by abstract interpretation. We propose store-based types as a type discipline that holds potential for interesting and flexible alternatives to the value restriction. Conference Paper/Proceeding/Abstract 3 8 13 1 2015 2015-01-13 10.1145/2678015.2682545 COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2019-02-21T12:21:42.6522823 2019-02-11T15:45:38.9571916 College of Science College of Science Casper Bach Poulsen 1 Peter Mosses 0000-0002-5826-7520 2 Paolo Torrini 3
title Imperative Polymorphism by Store-Based Types as Abstract Interpretations
spellingShingle Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Peter Mosses
title_short Imperative Polymorphism by Store-Based Types as Abstract Interpretations
title_full Imperative Polymorphism by Store-Based Types as Abstract Interpretations
title_fullStr Imperative Polymorphism by Store-Based Types as Abstract Interpretations
title_full_unstemmed Imperative Polymorphism by Store-Based Types as Abstract Interpretations
title_sort Imperative Polymorphism by Store-Based Types as Abstract Interpretations
author_id_str_mv 3f13b8ec315845c81d371f41e772399c
author_id_fullname_str_mv 3f13b8ec315845c81d371f41e772399c_***_Peter Mosses
author Peter Mosses
author2 Casper Bach Poulsen
Peter Mosses
Paolo Torrini
format Conference Paper/Proceeding/Abstract
container_start_page 3
publishDate 2015
institution Swansea University
doi_str_mv 10.1145/2678015.2682545
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str College of Science{{{_:::_}}}College of Science{{{_:::_}}}College of Science
document_store_str 0
active_str 0
description Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abstract interpretation as a tool for constructing safe and precise type systems, and investigate how to derive store-based types by abstract interpretation. We propose store-based types as a type discipline that holds potential for interesting and flexible alternatives to the value restriction.
published_date 2015-01-13T03:53:45Z
_version_ 1756236900829495296
score 10.926594