News & Events

  • William Byrd to speak at Clojure/conj

    Date: 11/16/2012

    William Byrd, CREST postdoctoral fellow, will co-present with Daniel Friedman, IU computer science professor, at Clojure/conj in Raleigh-Durham NC in November.  Byrd and Friedman, two of the designers of miniKanren, will describe the philosophy behind the design and implementation of miniKanren. They will also explain their thought process when writing miniKanren programs, discuss the strengths and weaknesses of miniKanren, demonstrate several experimental language extensions, and explain future developments of miniKanren.

    Information about the presentation can be viewed at this link: