default search action

combined dblp search
author search
venue search
publication search

ask others

4th MSFP 2012: Tallinn, Estonia

> Home > Conferences and Workshops > MSFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.