Relating Idioms, Arrows and Monads from Monoidal Adjunctions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Relating Idioms, Arrows and Monads from Monoidal Adjunctions

No file

Dates and versions

hal-01946996 , version 1 (06-12-2018)

Identifiers

  • HAL Id : hal-01946996 , version 1

Cite

Exequiel Rivas. Relating Idioms, Arrows and Monads from Monoidal Adjunctions. Seventh Workshop on Mathematically Structured Functional Programming- EPTCS, Jul 2018, Oxford, United Kingdom. pp.18-33. ⟨hal-01946996⟩
27 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More