vix.ing · top · new · best · stats · spec

Rafaello Sanna

  1. chrKanren: Constraint Handling Rules in a Relational Language
    2026/07/20 by Rafaello Sanna, William E. Byrd, Nada Amin
    Computer Science · #Constraint Satisfaction and Optimization #Logic, programming, and type systems #Logic, Reasoning, and Knowledge