Poll, Erik (1997) System F with Width-subtyping and Record Updating. In: Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan. Lecture Notes In Computer Science , 1281. pp. 439-457. Springer LNCS ISBN 3-540-63388-X. (KAR id:21451)
Other (zip)
Language: English |
||
Download (96kB)
|
![]() |
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
PDF
Language: English |
||
Download (282kB)
Preview
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
Postscript
Language: English |
||
Download (259kB)
Preview
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
Abstract
It is a well-known problem that F< - the polymorphic lambda calculus F extended with subtyping - does not provide so-called polymorphic updates, and that the standard PER model for F< does not provide interpretations for these operations. The polymorphic updates are interesting because they play an important role in some type-theoretic models of object-oriented languages. We present an extension Fwidth of system F with a restricted form of subtyping - width-subtyping - on record types, that does provide these operations. The main result is that we show it is still possible to give a PER model for this system.
Item Type: | Conference or workshop item (Paper) |
---|---|
Uncontrolled keywords: | subtyping, polymorphism |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Faculties > Sciences > School of Computing > Theoretical Computing Group |
Depositing User: | Mark Wheadon |
Date Deposited: | 01 Aug 2009 17:08 UTC |
Last Modified: | 28 May 2019 14:00 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21451 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):