Skip to content
cs-conference-ranking.org

Relational Parametricity and Units of Measure.

Andrew Kennedy

VenueA*POPL
Year1997
ProceedingsPOPL
DBLP recordconf/popl/Kennedy97 ↗

Browse the full POPL paper archive.