1 paper
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related…