Skip to content
cs-conference-ranking.org

Coinductive techniques, from automata to coalgebra.

Damien Pous

VenueA*POPL
Year2015
ProceedingsPLMW@POPL
DBLP recordconf/popl/Pous15a ↗

Browse the full POPL paper archive.