


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

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.