user

Higher-order algebra with transfinite types

被引：0
|
作者：
Steggles, LJ
机构：
来源：
HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING | 1996年 / 1074卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We extend the simple type system of higher-order algebra with transfinite types. We present a general model theory for transfinite higher-order algebra including results on the existence and construction of free and initial models, and a sound and complete equational calculus. We demonstrate the use of transfinite types for modelling polymorphism by specifying a simple polymorphic functional programming language.
引用
收藏
页码：238 / 263
页数：26
相关论文
共 50 条
  • [31] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    [J]. Philosophical Studies, 2007, 134 : 289 - 324
  • [32] Locations and Session Types in a Language with Higher-Order Reflection
    Tran, Michael
    Bendixen, Alexander Ronning
    Bojesen, Bjarke Bredow
    Huttel, Hans
    Lybech, Stian Lasse
    [J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON PROGRAMMING BASED ON ACTORS, AGENTS, AND DECENTRALIZED CONTROL (AGERE '19), 2019, : 31 - 40
  • [33] USING HIGHER-ORDER CONTRACTS TO MODEL SESSION TYPES
    Bernardi, Giovanni
    Hennessy, Matthew
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (02)
  • [34] Refinement Types and Higher-Order Constrained Horn Clauses
    Ong, C. -H. Luke
    Ramsay, Steven J.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (258): : 72 - +
  • [35] Channel dependent types for higher-order mobile processes
    Yoshida, N
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (01) : 147 - 160
  • [36] Monitors and Blame Assignment for Higher-Order Session Types
    Jia, Limin
    Gommerstadt, Hannah
    Pfenning, Frank
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 582 - 594
  • [37] Foundations of Consistency Types for a Higher-Order Distributed Language
    Zhao, Xin
    Haller, Philipp
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2019, 2021, 11998 : 49 - 63
  • [38] Types and Recursion Schemes for Higher-Order Program Verification
    Kobayashi, Naoki
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5904 : 2 - 3
  • [39] Types for Deadlock-Free Higher-Order Programs
    Padovani, Luca
    Novara, Luca
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015, 2015, 9039 : 3 - 18
  • [40] Practical programming with higher-order encodings and dependent types
    Poswolsky, Adam
    Schurmann, Carsten
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 93 - +
12345