Go to:
Logótipo
Você está em: Start > Publications > View > Type inference using constraint handling rules
Map of Premises
Principal
Publication

Type inference using constraint handling rules

Title
Type inference using constraint handling rules
Type
Article in International Conference Proceedings Book
Year
2002
Authors
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Other information
Authenticus ID: P-007-D80
Abstract (EN): In this paper we present an implementation of the general system for type inference algorithms HM(X), using Prolog and Constraint Handling Rules. In our implementation the difference between the general aspects of the type inference algorithms and the constraint resolution module becomes clearer, when compared to other implementations of the same systems, usually made in a functional programming language. In the constraint module, solving equality constraints, here implemented by Prolog unification, is completely separated from constraint simplification, which is made by a solver implemented in CHR for each system. CHR rules become a clear and natural way of specifying the simplification mechanism. © 2002 Publishd by Elsevier Science B.V.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 17
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Weak linearization of the lambda calculus (2005)
Article in International Scientific Journal
Alves, S; Florido, M
The power of linear functions (2006)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
The Power of Closed Reduction Strategies (2007)
Article in International Scientific Journal
Alves, S; Fernandez, M; Florido, M; Mackie, I
Pattern-based calculi with finitary matching (2018)
Article in International Scientific Journal
Sandra Alves; Dundua, B; Florido, M; Kutsia, T
Minimality in a Linear Calculus with Iteration (2008)
Article in International Scientific Journal
Alves, S; Florido, M; Mackie, I; Sinot, FR

See all (19)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-13 at 23:58:04 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book