Skip to content

Propositions as sessions.

Philip Wadler

VenueAICFP
Year2012
ProceedingsICFP

Browse the full ICFP paper archive.