Paper Info
Title
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
Abstract
. In this paper we present the semantics of a functional logic language withparametric and order-sorted polymorphism. Typed programs consist of a polymorphic signatureand a set of constructor-based conditional rewriting rules for which we define asemantic calculus. The denotational semantics of the language is based on Scott domainsinterpreting constructors and functions by monotonic and continuous mappings, respectively,in every instance of the declared type. We prove initiality results...
Year
DOI
Venue
1996
10.1007/3-540-61735-3_20
ALP
Keywords
Field
DocType
polymorphic order-sorted types,functional logic programming,algebraic semantics,polymorphism
Denotational semantics of the Actor model,Term algebra,Programming language,Normalisation by evaluation,Computer science,Action semantics,Denotational semantics,Higher-order logic,Well-founded semantics,Algebraic semantics
Conference
ISBN
Citations 
PageRank 
3-540-61735-3
4
0.42
References 
Authors
14
3
Name
Order
Citations
PageRank
J. M. Almendros-JiméNez1242.00
Antonio Gavilanes-Franco271.69
Ana Gil-Luezas3302.95