Jason Hemann

According to our database, Jason Hemann authored at least 7 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compiled, Extensible, Multi-language DSLs (Functional Pearl).

Michael Ballantyne, Mitch Gamburg, Jason Hemann

Proc. ACM Program. Lang., 2024

Six Ways to Implement Divisibility by Three in miniKanren.

Brett Schreiber, Brysen Pfingsten, Jason Hemann

CoRR, 2024

2023

Nearly Macro-free microKanren.

Jason Hemann, Daniel P. Friedman

Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023

2017

A Framework for Extending microKanren with Constraints.

Jason Hemann, Daniel P. Friedman

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

A Simple Complete Search for Logic Programming.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

A small embedding of logic programming with a simple complete search.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2013

Visualizing the turing tarpit.

Jason Hemann, Eric Holk

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013