Typed embedding of a relational language in OCaml

Standard

Typed embedding of a relational language in OCaml. / Kosarev, Dmitrii; Boulytchev, Dmitry.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 285, 31.12.2018, p. 1-22.

Research output: Contribution to journal › Conference article › peer-review

Harvard

Kosarev, D & Boulytchev, D 2018, 'Typed embedding of a relational language in OCaml', Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 285, pp. 1-22. https://doi.org/10.4204/EPTCS.285.1

APA

Kosarev, D., & Boulytchev, D. (2018). Typed embedding of a relational language in OCaml. Electronic Proceedings in Theoretical Computer Science, EPTCS, 285, 1-22. https://doi.org/10.4204/EPTCS.285.1

Vancouver

Kosarev D, Boulytchev D. Typed embedding of a relational language in OCaml. Electronic Proceedings in Theoretical Computer Science, EPTCS. 2018 Dec 31;285:1-22. https://doi.org/10.4204/EPTCS.285.1

Author

Kosarev, Dmitrii ; Boulytchev, Dmitry. / Typed embedding of a relational language in OCaml. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 2018 ; Vol. 285. pp. 1-22.

BibTeX

@article{ceb2a217715e43439fa46fdf8415d478,

title = "Typed embedding of a relational language in OCaml",

abstract = "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.",

author = "Dmitrii Kosarev and Dmitry Boulytchev",

note = "Publisher Copyright: {\textcopyright} Dmitrii Kosarev & Dmitry Boulytchev. Copyright: Copyright 2019 Elsevier B.V., All rights reserved.; 2016 ML Family Workshop / OCaml Users and Developers Workshops, ML/OCAML 2016 ; Conference date: 22-09-2016 Through 23-09-2016",

year = "2018",

month = dec,

day = "31",

doi = "10.4204/EPTCS.285.1",

language = "English",

volume = "285",

pages = "1--22",

journal = "Electronic proceedings in theoretical computer science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

RIS

TY - JOUR

T1 - Typed embedding of a relational language in OCaml

AU - Kosarev, Dmitrii

AU - Boulytchev, Dmitry

PY - 2018/12/31

Y1 - 2018/12/31

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85060092492&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.285.1

DO - 10.4204/EPTCS.285.1

M3 - Conference article

AN - SCOPUS:85060092492

VL - 285

SP - 1

EP - 22

JO - Electronic proceedings in theoretical computer science

JF - Electronic proceedings in theoretical computer science

SN - 2075-2180

T2 - 2016 ML Family Workshop / OCaml Users and Developers Workshops, ML/OCAML 2016

Y2 - 22 September 2016 through 23 September 2016

ER -

ID: 76606756