Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Pragmatic subtyping in polymorphic languages
1999 (English)In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming: ICFP '98, IEEE Communications Society, 1999, 216-227 p.Conference paper, Published paper (Refereed)
Abstract [en]

We present a subtyping extension to the Hindley/Milner type system that is based on name inequivalence. This approach allows the subtype relation to be de ned by incremental construction of polymorphic records and datatypes, in a way that subsumes the basic type systems of both languages like ML and Java. As the main contribution of the paper, we describe a partial type inference algorithm for the extended system which favours succinctness over generality, in the sense that it never infers types with subtype constraints. The algorithm is based on an effcient approximating constraint solver, and is able to type a wide range of programs that utilize subtyping and polymorphism in a non-trivial way. Since constrained types are not inferred, the algorithm cannot be complete; however, we provide a completeness result w. r. t. the Hindley/Milner type system as a form of characterizing lower bound.

Place, publisher, year, edition, pages
IEEE Communications Society, 1999. 216-227 p.
Series
SIGPLAN Notices, 34
Identifiers
URN: urn:nbn:se:ltu:diva-39687Local ID: e89181a0-c68d-11db-8a6f-000ea68e967bISBN: 0-58113-024-4 (print)OAI: oai:DiVA.org:ltu-39687DiVA: diva2:1013204
Conference
ACM SIGPLAN International Conference on Functional Programming : 27/09/1998 - 29/09/1998
Note
Uppr├Ąttat; 1999; 20070227 (ysko)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(251 kB)25 downloads
File information
File name FULLTEXT01.pdfFile size 251 kBChecksum SHA-512
1c90819b3dbca1dfcf6ced03b9e7ae971adc3ce85b43151b47ce8c56ac82ca5673db57cf1f6177e87866c5f06afee99b8cdefd96f2601ab6b12633d08710eb00
Type fulltextMimetype application/pdf

Other links

http://www.informatik.uni-trier.de/~ley/db/conf/icfp/icfp98.html

Search in DiVA

By author/editor
Nordlander, Johan

Search outside of DiVA

GoogleGoogle Scholar
Total: 25 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 15 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf