4 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…