OCanren
latest
  • Installation
  • PPX Syntax extensions
  • Hello world using Appendo Relation
  • Yue Li’s tutorial
  • Camlp5 syntax extensions
  • Papers
OCanren
  • Papers
  • Edit on GitHub

Papers¶

  • Typed Embedding of Relational Programming Language

  • Relational Synthesis for Pattern Matching

  • TODO: noCanren

  • others…

Previous

© Copyright 2023-... PLTools Team; 2015-2022, JetBrains Research.. Revision f70a9690.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds