Conference Paper/Proceeding/Abstract 780 views
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Casper Bach Poulsen,
Peter Mosses 
,
Paolo Torrini
,
Paolo Torrini
Pages: 3 - 8
Swansea University Author:
Peter Mosses
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...
| Published: |
2015
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa48796 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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. |
|---|---|
| College: |
College of Science |
| Start Page: |
3 |
| End Page: |
8 |