default search action

combined dblp search
author search
venue search
publication search

ask others

16th TFP 2015: Sophia Antipolis, France

> Home > Conferences and Workshops > TFP

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:
  - conf/sfp/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2015
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
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/AxelssonV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AxelssonV15
Emil Axelsson, Andrea Vezzosi:
Lightweight Higher-Order Rewriting in Haskell. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FowlerH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FowlerH15
Jonathan Fowler, Graham Hutton:
Towards a Theory of Reach. 22-39
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/EarleF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/EarleF15
Clara Benac Earle, Lars-Åke Fredlund:
Functional Testing of Java Programs. 40-59
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/AlkemadeJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AlkemadeJ15
Thijs Alkemade, Johan Jeuring:
Type Class Instances for Type-Level Lambdas in Haskell. 60-84
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/WidemannL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/WidemannL15
Baltasar Trancón y Widemann, Markus Lepper:
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. 85-103
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/KoopmanP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KoopmanP15
Pieter W. M. Koopman, Rinus Plasmeijer:
A Shallow Embedded Type Safe Extendable DSL for the Arduino. 104-123
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/PerssonA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/PerssonA15
Anders Persson, Emil Axelsson:
Programmable Signatures. 124-135
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DuboisP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DuboisP15
Catherine Dubois, François Pessaux:
Termination Proofs for Recursive Functions in FoCaLiZe. 136-156

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.