AN ALGEBRAIC SEMANTICS OF HIGHER-ORDER TYPES WITH SUBTYPES

Authors
QIAN ZY
Citation
Zy. Qian, AN ALGEBRAIC SEMANTICS OF HIGHER-ORDER TYPES WITH SUBTYPES, Acta informatica, 30(6), 1993, pp. 569-607
Citations number
39
Categorie Soggetti
Information Science & Library Science","Computer Applications & Cybernetics
Journal title
Acta informatica → ACNP
ISSN journal
00015903
Volume
30
Issue
6
Year of publication
1993
Pages
569 - 607
Database
ISI
SICI code
0001-5903(1993)30:6<569:AASOHT>2.0.ZU;2-V
Abstract
This paper extends order-sorted algebras with higher-order functions. The aim is to present a new semantics for higher-order order-sorted ty pes in functional programming, data type specification and program tra nsformation. Our framework unifies higher-order functions, equational deduction, overloading and subtype polymorphism.