![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th MSFP 2014: Grenoble, France
- Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 - Paolo Capriotti, Ambrus Kaposi
:
Free Applicative Functors. 2-30 - Jules Hedges:
Monad Transformers for Backtracking Search. 31-50 - Andreas Abel, James Chapman
:
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. 51-67 - Tarmo Uustalu
:
Coherence for Skew-Monoidal Categories. 68-77 - Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy:
Polymonadic Programming. 79-99 - Daan Leijen:
Koka: Programming with Row Polymorphic Effect Types. 100-126 - Wolfgang Jeltsch
:
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. 127-142 - Baltasar Trancón y Widemann, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. 143-167
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.