default search action

combined dblp search
author search
venue search
publication search

ask others

5th MSFP 2014: Grenoble, France

> 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/LevyK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LevyK14
Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CapriottiK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CapriottiK14
Paolo Capriotti, Ambrus Kaposi:
Free Applicative Functors. 2-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hedges14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hedges14a
Jules Hedges:
Monad Transformers for Backtracking Search. 31-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbelC14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/Uustalu14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Uustalu14
Tarmo Uustalu:
Coherence for Skew-Monoidal Categories. 68-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HicksBGLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HicksBGLS14
Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy:
Polymonadic Programming. 79-99
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Leijen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Leijen14
Daan Leijen:
Koka: Programming with Row Polymorphic Effect Types. 100-126
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Jeltsch14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jeltsch14
Wolfgang Jeltsch:
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. 127-142
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Trancon-y-WidemannL14
- ask others
- share record
  persistent 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

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.