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