| microkanren: A minimal functional core for relational programming J Hemann, DP Friedman Proceedings of Scheme Workshop, 2013 | 45* | 2013 |
| A small embedding of logic programming with a simple complete search J Hemann, DP Friedman, WE Byrd, M Might Proceedings of the 12th Symposium on Dynamic Languages, 96-107, 2016 | 18 | 2016 |
| A framework for extending microKanren with constraints J Hemann, DP Friedman arXiv preprint arXiv:1701.00633, 2017 | 17 | 2017 |
| A Summer Stem Outreach Program Run By Graduate Students: Successes, Challenges, And Recommendations For Implementation DB Schwab, LW Cole, KM Desai, J Hemann, KR Hummels, AV Maltese Journal of Research in STEM Education 4 (2), 117-129, 2018 | 9 | 2018 |
| Two advances in the implementations of extended syllogistic logics J Hemann, C Swords, LS Moss Joint Proceedings of the 2nd Workshop on Natural Language Processing and …, 2015 | 3 | 2015 |
| A Simple Complete Search for Logic Programming J Hemann, DP Friedman, WE Byrd, M Might Technical Communications of the 33rd International Conference on Logic …, 2018 | 2 | 2018 |
| Deriving Pure, Naturally-Recursive Operations for Processing Tail-Aligned Lists J Hemann, DP Friedman | 2 | 2016 |
| Visualizing the turing tarpit J Hemann, E Holk Proceedings of the first ACM SIGPLAN workshop on Functional art, music …, 2013 | 2 | 2013 |
| Constraint microKanren in the CLP Scheme J Hemann [Bloomington, Ind.]: Indiana University, 2020 | 1 | 2020 |
| Little Languages for Relational Programming DW Brady, J Hemann, DP Friedman 2014 SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP, 2015 | 1* | 2015 |
| Six Ways to Implement Divisibility by Three in miniKanren B Schreiber, B Pfingsten, J Hemann arXiv preprint arXiv:2408.16259, 2024 | | 2024 |
| Compiled, Extensible, Multi-language DSLs (Functional Pearl) M Ballantyne, M Gamburg, J Hemann Proceedings of the ACM on Programming Languages 8 (ICFP), 64-87, 2024 | | 2024 |
| Nearly Macro-free microKanren J Hemann, DP Friedman International Symposium on Trends in Functional Programming, 72-91, 2023 | | 2023 |
| Foundations in Science and Mathematics Program for Middle School and High School Students KM Desai, J Yang, J Hemann American Astronomical Society Meeting Abstracts# 227 227, 246.12, 2016 | | 2016 |
| Proceedings of the 2014 Scheme and Functional Programming Workshop J Hemann, J Clements http://www.cs.indiana.edu/ftp/techreports/TR718.pdf, 2015 | | 2015 |
| λ⃰: Beyond Currying J Hemann, DP Friedman | | 2013 |
| Synchronisation During Clustering in Wireless Sensor Networks J Hemann | | |
Dan FriedmanIndiana UniversityVerified email at indiana.edu
