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