NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"miniKanren"”.

  1. Relational Programming in miniKanren: Techniques, Applications, and Implementations

    Byrd, William E.[Bloomington, Ind.] : Indiana University2010

    … behavior. In this dissertation I present <italic>miniKanren</italic>, a family of languages specifically designed for relational programming, and which supports a variety of relational idioms and techniques. I show how miniKanren can be used to write interesting relational programs, including an …

    iu Repository record