Typed Embedding of a Relational Language in OCaml

被引：3
|
作者：
Kosarev, Dmitrii [1 ]
Boulytchev, Dmitry [1 ]
机构：
[1] St Petersburg State Univ, St Petersburg, Russia
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 285期
关键词：
D O I：
10.4204/EPTCS.285.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present an implementation of the relational programming language miniKanren as a set of combinators and syntax extensions for OCaml. The key feature of our approach is polymorphic unification, which can be used to unify data structures of arbitrary types. In addition we provide a useful generic programming pattern to systematically develop relational specifications in a typed manner, and address the problem of integration of relational subsystems into functional applications.
引用
收藏
页码：1 / 22
页数：22
相关论文
共 50 条
  • [41] Stack-based typed assembly language
    Morrisett, G
    Crary, K
    Glew, N
    Walker, D
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 : 43 - 88
  • [42] A Typed Intermediate Language for Compiling Multiple Inheritance
    Chen, Juan
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 25 - 30
  • [43] A Typed Iteration Approach for Spoken Language Understanding
    Pang, Yali
    Yu, Peilin
    Zhang, Zhichang
    ELECTRONICS, 2022, 11 (17)
  • [44] DYNAMIC TYPING IN A STATICALLY-TYPED LANGUAGE
    ABADI, M
    CARDELLI, L
    PIERCE, B
    PLOTKIN, G
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 213 - 227
  • [45] Integrating Typed and Untyped Code in a Scripting Language
    Wrigstad, Tobias
    Nardelli, Francesco Zappa
    Lebresne, Sylvain
    Ostlund, Johan
    Vitek, Jan
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 377 - 388
  • [46] XQuery: A typed functional language for querying XML
    Wadler, Philip
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2638 : 188 - 211
  • [47] On Relational Language Translation
    Dudas, Adam
    Demian, Daniel
    Skrinarova, Jarmila
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2023, 19 (01): : 4 - 9
  • [48] Fault-tolerant typed assembly language
    Perry, Frances
    Mackey, Lester
    Reis, George A.
    Ligatti, Jay
    August, David I.
    Walker, David
    ACM SIGPLAN NOTICES, 2007, 42 (06) : 42 - 53
  • [49] Fault-tolerant Typed Assembly Language
    Perry, Frances
    Mackey, Lester
    Reis, George A.
    Ligatti, Jay
    August, David I.
    Walker, David
    PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2007, : 42 - 53
  • [50] Stack-based typed assembly language
    Morrisett, Greg
    Crary, Karl
    Glew, Neal
    Walker, David
    Journal of Functional Programming, 2002, 12 (01) : 43 - 88
12345