Skip to content
cs-conference-ranking.org

Bounded Linear Types in a Resource Semiring.

Dan R. Ghica, Alex I. Smith

VenueAESOP
Year2014
ProceedingsESOP
DBLP recordconf/esop/GhicaS14 ↗

Browse the full ESOP paper archive.