![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd MSFP@ICALP 2008: Reykjavik, Iceland
- Venanzio Capretta, Conor McBride:
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(5), Elsevier 2011 - Venanzio Capretta, Conor McBride:
Preface. 1-2 - Andreas Abel, Thorsten Altenkirch
:
A Partial Type Checking Algorithm for Type: Type. 3-17 - Robert Atkey:
What is a Categorical Model of Arrows? 19-37 - Éric Badouel, Bernard Fotsing, Rodrigue Tchougong:
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. 39-56 - Alcino Cunha
, Hugo Pacheco
:
Algebraic Specialization of Generic Functions for Recursive Types. 57-74 - Mauro Jaskelioff, Neil Ghani, Graham Hutton
:
Modularity and Implementation of Mathematical Operational Semantics. 75-95 - Sam Lindley
, Philip Wadler, Jeremy Yallop:
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. 97-117 - Benoît Razet:
Simulating Finite Eilenberg Machines with a Reactive Engine. 119-134 - Tarmo Uustalu
, Varmo Vene
:
The Recursion Scheme from the Cofree Recursive Comonad. 135-157
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.