No Cover Image

Conference Paper/Proceeding/Abstract 131 views

Imperative Polymorphism by Store-Based Types as Abstract Interpretations / Casper Bach Poulsen; Peter Mosses; 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...

Full description

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