James Chapman, Paul Blain Levy (Eds.):
Proceedings Fourth Workshop on Mathematically Structured Functional Programming.
EPTCS 76 2012 
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
data released under the ODC-BY 1.0 license
