ask others

5th MSFP@ETAPS 2014

> Home > Conferences and Workshops > MSFP
> Home > Conferences and Workshops > ETAPS

- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LevyK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LevyK14
Paul Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CapriottiK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CapriottiK14
Paolo Capriotti, Ambrus Kaposi:
Free Applicative Functors. 2-30
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Hedges14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Hedges14a
Jules Hedges:
Monad Transformers for Backtracking Search. 31-50
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AbelC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AbelC14
Andreas Abel, James Chapman:
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. 51-67
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Uustalu14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Uustalu14
Tarmo Uustalu:
Coherence for Skew-Monoidal Categories. 68-77
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HicksBGLS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HicksBGLS14
Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy:
Polymonadic Programming. 79-99
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Leijen14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Leijen14
Daan Leijen:
Koka: Programming with Row Polymorphic Effect Types. 100-126
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Jeltsch14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Jeltsch14
Wolfgang Jeltsch:
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. 127-142
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Trancon-y-WidemannL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Trancon-y-WidemannL14
Baltasar Trancón y Widemann, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. 143-167

maintained by

, founded at