Skip to content
cs-conference-ranking.org

Nominal Matching Logic with Fixpoints.

Mircea Sebe, Maribel Fernndez, James Cheney

VenueBCPP
Year2025
ProceedingsCPP
DBLP recordconf/cpp/SebeFC25 ↗

Browse the full CPP paper archive.