Incorporating first-order unification into functional language via first-class environments

被引：0
|
作者：
Nishizaki, Shin-Ya [1 ]
机构：
[1] Department of Computer Science, Tokyo Institute of Technology, 2-12-1-W8-69, O-okayama, Meguro-ku Tokyo,152-8552, Japan
来源：
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST | 2014年 / 117卷
关键词：
Semantics;
D O I：
10.1007/978-3-319-11629-7_3
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：9 / 25
相关论文
共 50 条
  • [1] A Case for First-Class Environments
    Tan, Jinhao
    Oliveira, Bruno C. D. S.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA): : 2521 - 2550
  • [2] Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
    Sano, Jin
    Ueda, Kazunori
    GRAPH TRANSFORMATION, ICGT 2023, 2023, 13961 : 263 - 277
  • [3] Free variables and first-class environments
    Miller, James S.
    Rozas, Guillermo J.
    LISP and Symbolic Computation, 1991, 4 (02):
  • [4] PROPERTIES OF A FIRST-ORDER FUNCTIONAL LANGUAGE WITH SHARING
    ARIOLA, ZM
    ARVIND
    THEORETICAL COMPUTER SCIENCE, 1995, 146 (1-2) : 69 - 108
  • [5] First-class Environments in Categorical Combinators
    Joko, Hiroki
    Nishizaki, Shin-ya
    THEORY AND PRACTICE OF COMPUTATION, 2018, : 28 - 43
  • [6] First-order unification by structural recursion
    McBride, C
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 1061 - 1075
  • [7] First-order unification by structural recursion
    Department of Computer Science, University of Durham, South Road, Durham DH1 3LE, United Kingdom
    J. Funct. Program., 1600, 6 (1061-1075):
  • [8] First-Order Unification on Compressed Terms
    Gascon, Adria
    Maneth, Sebastian
    Ramos, Lander
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 51 - 60
  • [9] Almost First-Class Language Embedding
    Scherr, Maximilian
    Chiba, Shigeru
    ACM SIGPLAN NOTICES, 2016, 51 (03) : 21 - 30
  • [10] A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS - PROGRAMMING STYLE AND SEMANTICS
    MOREAU, L
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (02): : 173 - 205
12345