Skip to content

Functional reactive types.

Alan Jeffrey

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.