News & Events

  • Will Byrd Presents at Strange Loop 2012

    Date: 09/26/2012

    CREST Postdoctoral fellow William Byrd co-presented at Strange Loop 2012 in St. Louis MO in September. Speaking with IU computer science professor Daniel Friedman, the duo offered a whirlwind tour of relational programming in miniKanren, a logic programming language they designed with Oleg Kiselyov.  The minKhanren is used in several CREST products, including the Harlan compiler and the Kanor formal semantics term reducer.

    Information about the presentation can be viewed at this link: