![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16th TFP 2015: Sophia Antipolis, France
- Manuel Serrano, Jurriaan Hage:
Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9547, Springer 2016, ISBN 978-3-319-39109-0 - Emil Axelsson, Andrea Vezzosi
:
Lightweight Higher-Order Rewriting in Haskell. 1-21 - Jonathan Fowler, Graham Hutton:
Towards a Theory of Reach. 22-39 - Clara Benac Earle
, Lars-Åke Fredlund
:
Functional Testing of Java Programs. 40-59 - Thijs Alkemade, Johan Jeuring:
Type Class Instances for Type-Level Lambdas in Haskell. 60-84 - Baltasar Trancón y Widemann, Markus Lepper:
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. 85-103 - Pieter W. M. Koopman, Rinus Plasmeijer:
A Shallow Embedded Type Safe Extendable DSL for the Arduino. 104-123 - Anders Persson, Emil Axelsson:
Programmable Signatures. 124-135 - Catherine Dubois, François Pessaux:
Termination Proofs for Recursive Functions in FoCaLiZe. 136-156
![](https://dblp.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.