EPTCS 76 - MSFP 2012
James Chapman, Paul Blain Levy (Eds.):
Proceedings Fourth Workshop on Mathematically Structured Functional Programming.
EPTCS 76 2012 
- Patrick Bahr, Tom Hvitved:
Parametric Compositional Data Types.
3-24
- Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich:
Step-Indexed Normalization for a Language with General Recursion.
25-39
- Mauro Jaskelioff, Ondrej Rypacek:
An Investigation of the Laws of Traversals.
40-49
- José Pedro Magalhães, Andres Löh:
A Formal Comparison of Approaches to Datatype-Generic Programming.
50-67
- Tomas Petricek:
Evaluation strategies for monadic computations.
68-89
- Maciej Piróg, Jeremy Gibbons:
Tracing monadic computations and representing effects.
90-111
- Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich:
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems.
112-162
- Wouter Swierstra:
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine.
163-177
Last update Sat May 25 23:25:06 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
