id:"swepub:oai:research.chalmers.se:65acd7f6-d2f4-475d-9d6c-c348cb630ad1"
Search: id:"swepub:oai:research.chalmers.se:65acd7f6-d2f4-475d-9d6c-c348cb630ad1" > Principal Type Spec...
- 1 of 1
- Previous record
- Next record
- To hitlist
Principal Type Specialisation
- López, P.E.M. (author)
-
- Hughes, John, 1958 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- 2002-09-12
- 2002
- English.
- In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, 12-14 September 2002. - New York, NY, USA : ACM. ; , s. 94-105
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- Type specialisation is an approach to program specialisation that works with both a program and its type to produce specialised versions of each. As it combines many powerful features, it appears to be a good framework for automatic program production, - despite the fact that it was designed originally to express optimal specialisation for interpreters written in typed languages. The original specification of type specialisation used a system of rules expressing it as a generalised type system, rather than the usual view of specialisation as generalised evaluation. That system, while powerful, has some weaknesses not widely recognized - the most important being the inability to express principal type specialisations (a principal specialisation is one that is "more general" than any other for a given specialisable term, and from which those can be obtained by a suitable notion of instantiation). This inability is a problem when extending type specialisation to deal with polymorphism or modules. This work presents a different formulation of the system specifying type specialisation capturing the notion of principal specialisation for a language with static constructions and polyvariance. It is a step forward in the study of type specialisation for polymorphic languages and lazy languages, and also permits modularity of specialisation, and better implementations.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Type specialisation
- Program specialisation
- Type based transformation
- Qualified types
Publication and Content Type
- kon (subject category)
- ref (subject category)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- López, P.E.M.
- Hughes, John, 19 ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Proceedings of t ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
