Skip to content

Session types for linear multithreaded functional programming.

Vasco Thudichum Vasconcelos

VenueCPPDP
Year2009
ProceedingsPPDP

Browse the full PPDP paper archive.