Freyd is Kleisli, for arrows

Freyd is Kleisli, for arrows (2006)

by Bart Jacobs , Ichiro Hasuo

Venue:	In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS
Citations:	3 - 2 self

Datum	Value	Source
TITLE	Freyd is Kleisli, for arrows	INFERENCE
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	Postbus 9010, 6500GL Nijmegen, the Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Ichiro Hasuo	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	Postbus 9010, 6500GL Nijmegen, the Netherlands	SVM HeaderParse 0.2
ABSTRACT	Arrows have been introduced in functional programming as generalisations of monads. They also generalise comonads. Fundamental structures associated with (co)monads are Kleisli categories and categories of (Eilenberg-Moore) algebras. Hence it makes sense to ask if there are analogous structures for Arrows. In this short note we shall take first steps in this direction, and identify for instance the Freyd	SVM HeaderParse 0.2
YEAR	2006	INFERENCE
VENUE	In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	13 found	ParsCit 1.0