EPTCS 76 - MSFP 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2407
- ask others
James Chapman, Paul Blain Levy (Eds.): Proceedings Fourth Workshop on Mathematically Structured Functional Programming. 2012 EPTCS 76 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2917
- ask others
Patrick Bahr, Tom Hvitved: Parametric Compositional Data Types. ... 3-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2918
- ask others
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich: Step-Indexed Normalization for a Language with General Recursion. ... 25-39
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2919
- ask others
Mauro Jaskelioff, Ondrej Rypacek: An Investigation of the Laws of Traversals. ... 40-49
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2920
- ask others
José Pedro Magalhães, Andres Löh: A Formal Comparison of Approaches to Datatype-Generic Programming. ... 50-67
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2921
- ask others
Tomas Petricek: Evaluation strategies for monadic computations. ... 68-89
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2922
- ask others
Maciej Piróg, Jeremy Gibbons: Tracing monadic computations and representing effects. ... 90-111
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2923
- ask others
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
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2924
- ask others
Wouter Swierstra: From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine. ... 163-177