default search action

combined dblp search
author search
venue search
publication search

ask others

12th TFP 2011: Madrid, Spain

> 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/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2011
Ricardo Peña, Rex L. Page:
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7193, Springer 2012, ISBN 978-3-642-32036-1

Types

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Schilling11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Schilling11
Thomas Schilling:
Constraint-Free Type Error Slicing. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Komendantsky11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Komendantsky11
Vladimir Komendantsky:
Subtyping by Folding an Inductive Relation into a Coinductive One. 17-32

Compiling

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Brady11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Brady11
Edwin C. Brady:
Epic - A Library for Generating Compilers. 33-48
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DayH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DayH11
Laurence E. Day, Graham Hutton:
Towards Modular Compilers for Effects. 49-64

Parallelism and Distribution

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FilliatreK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FilliatreK11
Jean-Christophe Filliâtre, K. Kalyanasundaram:
Functory: A Distributed Computing Library for Objective Caml. 65-81
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/BrownLH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BrownLH11
Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond:
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. 82-97
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/BertholdFHLSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BertholdFHLSV11
Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter:
Functional High Performance Financial IT. 98-113

Data Structures

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Lesniak11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Lesniak11
Michael Lesniak:
Thread-Safe Priority Queues in Haskell Based on Skiplists. 114-129
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Straka11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Straka11
Milan Straka:
Adams' Trees Revisited. 130-145

Miscellaneous

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Morazan11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Morazan11
Marco T. Morazán:
Functional Video Games in CS1 II. 146-162
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HenrixPA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HenrixPA11
Jeroen Henrix, Rinus Plasmeijer, Peter Achten:
GiN: A Graphical Language and Tool for Defining iTask Workflows. 163-178
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DelbiancoJP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DelbiancoJP11
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo:
Applicative Shortcut Fusion. 179-194

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.