Jason Hemann

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 4

Top Topics

Logic Programming

Nonmonotonic Reasoning

Complete Search

Top Venues

Publications

Jason Hemann, Daniel P. Friedman
Nearly Macro-free microKanren. TFP (2023)
Jason Hemann, Daniel P. Friedman
A Framework for Extending microKanren with Constraints. WLP / WFLP (2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A Simple Complete Search for Logic Programming. ICLP (Technical Communications) (2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A small embedding of logic programming with a simple complete search. DLS (2016)
Jason Hemann, Eric Holk
Visualizing the turing tarpit. FARM@ICFP (2013)