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 条
  • [31] Learning distributed representations of relational data using linear relational embedding
    Paccanaro, A
    Hinton, GE
    NEURAL NETS WIRN VIETRI-01, 2002, : 134 - 143
  • [32] XQuery: A typed functional language for querying XML
    Wadler, P
    ADVANCED FUNCTIONAL PROGRAMMING, 2003, 2638 : 188 - 211
  • [33] MODEL INTEGRATION WITH A TYPED EXECUTABLE MODELING LANGUAGE
    BRADLEY, GH
    CLEMENCE, RD
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 403 - 410
  • [34] Improving computations in a typed functional logic language
    Almendros-Jiménez, JM
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 438 - 454
  • [35] A Garbage-Collecting Typed Assembly Language
    Hawblitzel, Chris
    Huang, Heng
    Wittie, Lea
    Chen, Juan
    PROCEEDINGS OF THE TLDI 2007: 2007 ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPES IN LANGUAGES DESIGN AND IMPLEMENTATION, 2007, : 41 - 52
  • [36] Construction of a semantic model for a typed assembly language
    Tan, G
    Appel, AW
    Swadi, KN
    Wu, DH
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 30 - 43
  • [37] A typed assembly language for non-interference
    Medel, R
    Compagnoni, A
    Bonelli, E
    THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3701 : 360 - 374
  • [38] MSVL: a typed language for temporal logic programming
    Xiaobing Wang
    Cong Tian
    Zhenhua Duan
    Liang Zhao
    Frontiers of Computer Science, 2017, 11 : 762 - 785
  • [39] From system F to typed assembly language
    Morrisett, G
    Walker, D
    Crary, K
    Glew, N
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (03): : 527 - 568
  • [40] EXPERIENCE WITH A MODULAR TYPED LANGUAGE: PROTEL.
    Cashin, P.M.
    Joliat, M.L.
    Kamel, R.F.
    Lasker, D.M.
    Proceedings - International Conference on Software Engineering, 1981, : 136 - 143
12345