DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» MiniKanren
MiniKanren
Typed Embedding of a Relational Language in Ocaml
Constraint Microkanren in the Clp Scheme
CMSC 330: Organization of Programming Languages
Neural Guided Constraint Logic Programming for Program Synthesis
A Framework for Extending Microkanren with Constraints
Relational Interpreters for Search Problems∗
Neural Guided Constraint Logic Programming for Program Synthesis
Staged Relational Interpreters: Running with Holes, Faster
Exploring Languages with Interpreters and Functional Programming Chapter 1
Lightweight Functional Logic Meta-Programming
Lightweight Functional Logic Meta-Programming
Little Languages for Relational Programming
A Relational Interpreter for Synthesizing Javascript
2015 Scheme and Functional Programming Workshop
William E. Byrd
William E. Byrd Books
Jason Hemann
Automated Canon Composition Computer Science Tripos – Part II Churchill College May 10, 2016
Top View
William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming