Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

18th TFP 2017: Canterbury, UK

> 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/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2017
Meng Wang, Scott Owens:
Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10788, Springer 2018, ISBN 978-3-319-89718-9
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/MorazanROD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MorazanROD17
Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev:
Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/StutterheimAP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/StutterheimAP17
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Maintaining Separation of Concerns Through Task Oriented Software Development. 19-38
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/LozovVB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/LozovVB17
Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev:
Typed Relational Conversion. 39-58
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Midtgaard17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Midtgaard17
Jan Midtgaard:
QuickChecking Patricia Trees. 59-78
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HoremansRDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HoremansRDP17
Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens:
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. 79-97
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DolanEHMSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DolanEHMSW17
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White:
Concurrent System Programming with Effect Handlers. 98-117
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/AbrahamssonM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AbrahamssonM17
Oskar Abrahamsson, Magnus O. Myreen:
Automatically Introducing Tail Recursion in CakeML. 118-134
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HjortHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HjortHP17
Rikard Hjort, Jakob Holmgren, Christian Persson:
The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler. 135-148

a service of

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.