Jason Hemann
Ph.D Candidate at
Indiana University
  Jason Hemann
Box No 52
Lindley Hall
150 S. Woodlawn Ave.
Bloomington, IN 47405


(Home) (Interests) (Research) (Contact)


Papers

J. Hemann, E. Holk, "Visualizing the Turing Tarpit", presented at ACM 2013 Workshop on Functional Art, music, modeling and design (FARM 13). The interactive visualization and gallery are available online.

J. Hemann, D. Friedman, "λ*: beyond currying", presented at 2013 Scheme Workshop, Nov. 13, 2013

J. Hemann, D. Friedman, "μKanren: a minimal functional core for relational programming", presented at 2013 Scheme Workshop, Nov. 13, 2013

D. W. Brady, J. Hemann, D. Friedman, "Little Languages for Relational Programming", at 2014 Scheme Workshop, Nov. 19, 2014



Talks

[July 13] "The Art of Several Interpreters, Quickly", co-presented at LambdaJam 2013, Chicago, IL. July 8-10, 2013
[Sept 13] "Visualizing the Turing Tarpit", presented at ACM 2013 Workshop on Functional Art, music, modeling and design (FARM 13), Boston, MA. Sept 28, 2013
[Oct 13] "It's only Quine Time", co-presented at PL-Fest, Oct 25, 2013.
[Nov 13] "λ*: beyond currying", presented at 2013 Scheme Workshop, Nov. 13, 2013
[Nov 13] "μKanren: a minimal functional core for relational programming", presented at 2013 Scheme Workshop, Nov. 13, 2013
[July 14] "Roll Your Own Relational DSL: A Logic Programming Language in Less than 40 Lines", co-presented at LambdaJam 2014, Chicago, IL. July 22-23, 2014
[Sept 14] "Write the Other Half of Your Program: From Functional to Logic Programming", co-presented at Strange Loop 2014, St. Louis, Mo. Sept 21-23, 2014
[July 15] "How to be a good host: miniKanren as a case study", co-presented at Curry On, Prague, CZ. July 6-7, 2015