Skip to content

Type-oriented construction of web user interfaces.

Michael Hanus

VenueCPPDP
Year2006
ProceedingsPPDP

Browse the full PPDP paper archive.