Skip to content

Substitution, jumps, and algebraic effects.

Marcelo P. Fiore, Sam Staton

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.