From Geek to Clojure! by Nada Amin and William Byrd.
From the description:
In his Lambda Jam keynote, “Everything I Have Learned I Have Learned From Someone Else,” David Nolen exposed the joys and benefits of reading academic papers and putting them to work. In this talk, we show how to translate the mathy figures in Computer Science papers into Clojure code using both core.match and core.logic. You’ll gain strategies for understanding concepts in academic papers by implementing them!
Nada Amin is a member of the Scala team at EPFL, where she studies type systems and hacks on programming languages. She has contributed to Clojure’s core.logic and Google’s Closure compiler. She’s loved helping others learn to program ever since tutoring SICP as an undergraduate lab assistant at MIT.
William E. Byrd is a Postdoctoral Researcher in the School of Computing at the University of Utah. He is co-author of The Reasoned Schemer, and co-designer of several declarative languages: miniKanren (logic programing), Harlan (GPU programming), and Kanor (cluster programming). His StarCraft 2 handle is ‘Rojex’ (character code 715).
An alternative title for this paper would be: How To Read An Academic CS Paper. Seriously.
From Geek to Clojure at Github has the slides and “Logical types for untyped languages” (mentioned near the end of the paper).
I don’t think you need a login at the ACM Digital Library to see who cites “Logical types for untyped languages.”
Some other resources of interest:
Logical Types for Untyped Languages by Sam Tobin-Hochstadt (speaker deck)
Logical Types for Untyped Languages by Sam Tobin-Hochstadt and Matthias Felleisen (video)
A series of videos by Nada Amin and William Byrd that makes fewer assumptions about the audience on reading CS papers would really rock!