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 “"relational programming"”.

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

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

    The promise of logic programming is that programs can be written <italic>relationally</italic>, without distinguishing between input and output arguments. Relational programs are remarkably flexible&mdash;for example, a relational type-inferencer also performs type checking and type inhabitation, …

    iu Repository record