Skip to content
cs-conference-ranking.org

What Do Program Logics and Type Systems Have in Common?

Martin Hofmann

VenueA*ICALP
Year2004
ProceedingsICALP
DBLP recordconf/icalp/Hofmann04 ↗

Browse the full ICALP paper archive.