default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd MSFP 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
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.
last updated on 2026-03-13 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
