Sequential Languages

by Robert Cartwright , Pierre-louis Curien , Matthias Felleisen