Back to Results
First PageMeta Content
Logic programming / Formal methods / Computer programming / Lambda calculus / Constraint logic programming / Conditional / Computing / Software engineering


cKanren miniKanren with Constraints Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd, Daniel P. Friedman {calvis, jewillco, kylcarte, webyrd, dfried}@cs.indiana.edu
Add to Reading List

Document Date: 2011-11-05 13:18:14

Open Document

File Size: 866,85 KB

Share Result on Facebook

/

Facility

Computing Indiana University / /

Organization

School of Informatics / Indiana University / Bloomington / /

Person

Kyle M. Carter / Claire E. Alvis / Jeremiah J. Willcock / William E. Byrd / Daniel P. Friedman / /

SocialTag