Digitala Vetenskapliga Arkivet

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
Propagation of location information in constrained type inference
2003 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The Timber type system is an extension of the classical Hindley-Milner type system, incorporating both qualified types and first class polymorphism. Since we also have subtyping, type errors in this system manifest themselves as unsatisfiable constraints rather than as non-unifiable types as in the Hindley-Milner system. In this thesis, we present a theoretical model for propagating the source of a constraint so that it can be presented to the user in case of an error. We also present examples from an implementation of our system for the Timber compiler. We propagate the location information by adding annotations to the syntax tree and then preserve that information as we build the predicates and types needed for type checking. We conclude that the approach to annotation taken here is one possible solution for the propagation of location information in constrained type inference.

Place, publisher, year, edition, pages
2003.
Keywords [en]
Technology, computer science, functional programming, type inference, error reporting, subtyping, qualified types, type errors, Timber
Keywords [sv]
Teknik
Identifiers
URN: urn:nbn:se:ltu:diva-50372ISRN: LTU-EX--03/323--SELocal ID: 7a4fbd04-bfa6-4cec-b1c6-4c50c0c0a96eOAI: oai:DiVA.org:ltu-50372DiVA, id: diva2:1023731
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Examiners
Note
Validerat; 20101217 (root)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

fulltext(271 kB)75 downloads
File information
File name FULLTEXT01.pdfFile size 271 kBChecksum SHA-512
310beb56cd0d79bb6c4857530ded9bd2ec1286ebc95dd023d4ca1bd9d1c329b82803311b410760d8f35e93f6f3f1db6e509a04fb85aa728ea75b6ef7360505d4
Type fulltextMimetype application/pdf

Search outside of DiVA

GoogleGoogle Scholar
Total: 75 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

urn-nbn

Altmetric score

urn-nbn
Total: 105 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