Skip to content

Efficient fair conjunction for structurally-recursive relations.

Peter Lozov, Dmitry Boulytchev

VenueCPEPM
Year2021
ProceedingsPEPM@POPL

Browse the full PEPM paper archive.