Sequential products in effect categories

Abstract : 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 frameworks (Monads, Arrows, Freyd categories), we distinguish two kinds of functions. In addition, we also distinguish two kinds of equations. Then, we are able to define a kind of product, that generalizes the usual categorical product. This yields a powerful tool for deriving many results about languages with effects.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00161303
Contributor : Jean-Guillaume Dumas <>
Submitted on : Tuesday, July 10, 2007 - 2:25:30 PM
Last modification on : Thursday, July 4, 2019 - 9:54:02 AM
Long-term archiving on : Thursday, April 8, 2010 - 10:49:25 PM

Files

prod.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00161303, version 1
  • ARXIV : 0707.1432

Collections

Citation

Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Sequential products in effect categories. 2007. ⟨hal-00161303⟩

Share

Metrics

Record views

287

Files downloads

68