BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Functional programming with monads combined with comonads - Domini
 c Orchard\, Computer Lab\, Cambridge
DTSTART:20100602T143000Z
DTEND:20100602T150000Z
UID:TALK25136@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Monads and comonads succinctly structure\ncomputation: monads 
 describe effects e.g. input/output\, comonads\ndescribe contextual computa
 tions e.g. dataflow/stream computations.\nRecently\, comonads and monads h
 ave been combined for applications such as partial streams or combining in
 tensional and extensional semantics.\nThis paper furthers work on the inte
 raction of comonads\nand monads via distributive laws and the Kleisli cate
 gory\nconstruction on monads and comonads.\nI introduce extension in the `
 `biKleisli'' category\, providing\ncombinators analogous to the (co)extend
  operation of a (co)monad which is useful for practical programming with c
 ombinations of\ncomonads and monad. In this talk I introduce the concepts 
 involved\, the new extension operation on BiKleisli categories\, and show 
 a few examples.\n\nThis is work in progress. This talk is part of the ICFP
  PC Functional Programming Workshop.
LOCATION:Microsoft Research\, Cambridge
END:VEVENT
END:VCALENDAR