MSFP

Keyphrases

Publications

2016

2014

2012

José Pedro Magalhães, Andres Löh
A Formal Comparison of Approaches to Datatype-Generic Programming MSFP (2012)
Mauro Jaskelioff, Ondrej Rypacek
An Investigation of the Laws of Traversals MSFP (2012)
Maciej Piróg, Jeremy Gibbons
Tracing monadic computations and representing effects MSFP (2012)
Tomas Petricek
Evaluation strategies for monadic computations MSFP (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 MSFP (2012)
Wouter Swierstra
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine MSFP (2012)
Patrick Bahr, Tom Hvitved
Parametric Compositional Data Types MSFP (2012)
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich
Step-Indexed Normalization for a Language with General Recursion MSFP (2012)