default search action

combined dblp search
author search
venue search
publication search

ask others

29th IFL 2017: Bristol, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > IFL

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/ifl/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2017
Nicolas Wu:
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017. ACM 2017
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/TothBK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/TothBK17
Melinda Tóth, István Bozó, Tamás Kozsik:
Pattern Candidate Discovery and Parallelization Techniques. 1:1-1:26
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SerranoH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SerranoH17
Alejandro Serrano, Jurriaan Hage:
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. 2:1-2:15
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BraquehaisR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BraquehaisR17
Rudy Braquehais, Colin Runciman:
Extrapolate: generalizing counterexamples of functional test properties. 3:1-3:11
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PietersSR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PietersSR17
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas:
Handlers for Non-Monadic Computations. 4:1-4:11
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SinkarovsSSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SinkarovsSSV17
Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann:
Recursive Array Comprehensions in a Call-by-Value Language. 5:1-5:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/FridlenderGPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/FridlenderGPR17
Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez:
Biorthogonality for a Lazy language. 6:1-6:9
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/OortgieseGAP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/OortgieseGAP17
Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer:
A Distributed Dynamic Architecture for Task Oriented Programming. 7:1-7:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KlinikJP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KlinikJP17
Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer:
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. 8:1-8:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GrelckS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GrelckS17
Clemens Grelck, Nikolaos Sarris:
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments. 9:1-9:12

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.