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 条
  • [1] Typed Relational Conversion
    Lozov, Petr
    Vyatkin, Andrei
    Boulytchev, Dmitry
    TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2017), 2018, 10788 : 39 - 58
  • [2] Tail Modulo Cons, OCaml, and Relational Separation Logic
    Allain, Clement
    Bour, Frederic
    Clement, Basile
    Pottier, Francois
    Scherer, Gabriel
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2025, 9 (POPI):
  • [3] Merlin: A Language Server for OCaml (Experience Report)
    Bour, Frederic
    Refis, Thomas
    Scherer, Gabriel
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
  • [4] Merlin: A Language Server for OCaml (Experience Report)
    Bour, Frederic
    Refis, Thomas
    Scherer, Gabriel
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [5] A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCaml
    Danelutto, M.
    Di Cosmo, R.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 1837 - 1846
  • [6] Embedding of Hierarchically Typed Knowledge Bases
    Zhang, Richong
    Kong, Fanshuang
    Wang, Chenyue
    Mao, Yongyi
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 2046 - 2053
  • [7] A Typed Language for Events
    Alves, Sandra
    Broda, Sabine
    Fernandez, Maribel
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 107 - 123
  • [8] Hardware Implementation of OCAML Using a Synchronous Functional Language
    Sylvestre, Loic
    Serot, Jocelyn
    Chailloux, Emmanuel
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2024, 2023, 14512 : 151 - 168
  • [9] A typed assembly language for confidentiality
    Yu, D
    Islam, N
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 3924 : 162 - 179
  • [10] A dependently typed assembly language
    Xi, HW
    Harper, R
    ACM SIGPLAN NOTICES, 2001, 36 (10) : 169 - 180
12345