![](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
29th IFL 2017: Bristol, UK
- 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 - Melinda Tóth, István Bozó, Tamás Kozsik:
Pattern Candidate Discovery and Parallelization Techniques. 1:1-1:26 - Alejandro Serrano, Jurriaan Hage:
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. 2:1-2:15 - Rudy Braquehais
, Colin Runciman:
Extrapolate: generalizing counterexamples of functional test properties. 3:1-3:11 - Ruben P. Pieters, Tom Schrijvers
, Exequiel Rivas
:
Handlers for Non-Monadic Computations. 4:1-4:11 - 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 - Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez:
Biorthogonality for a Lazy language. 6:1-6:9 - Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer:
A Distributed Dynamic Architecture for Task Oriented Programming. 7:1-7:12 - Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer:
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. 8:1-8:12 - Clemens Grelck, Nikolaos Sarris:
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments. 9:1-9:12
![](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.