Operational and Algebraic Semantics for Facile: A Symmetric (1990)

by A Giacalone, P Mishra, S Prasad
Venue:Integration of Concurrent and Functional Programming", LNCS 443