OCanren
latest
  • The Tutorial
  • Installation
  • Camlp5 syntax extensions
  • 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 2022, JetBrains Research. Revision 111bba76.

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