Freyd is Kleisli, for Arrows

Autor: Jacobs, B.P.F., Hasuo, I., McBride, C., Uustalu, T.
Přispěvatelé: McBride, C., Uustalu, T.
Rok vydání: 2006
Předmět:
Zdroj: McBride, C.; Uustalu, T. (ed.), Workshop on Mathematically Structured Functional Programming (MSFP 2006)
McBride, C.; Uustalu, T. (ed.), Workshop on Mathematically Structured Functional Programming (MSFP 2006). Swindon, UK : BCS
Popis: Contains fulltext : 35849.pdf (Publisher’s version ) (Open Access)
Databáze: OpenAIRE