Certified Semantics for Relational Programming.

Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

Browse the full APLAS paper archive.