Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ifl/ifl2017.bht:"
@inproceedings{DBLP:conf/ifl/BraquehaisR17, author = {Rudy Braquehais and Colin Runciman}, editor = {Nicolas Wu}, title = {Extrapolate: generalizing counterexamples of functional test properties}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {3:1--3:11}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205371}, doi = {10.1145/3205368.3205371}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/BraquehaisR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/FridlenderGPR17, author = {Daniel Fridlender and Alejandro Gadea and Miguel Pagano and Leonardo Rodr{\'{\i}}guez}, editor = {Nicolas Wu}, title = {Biorthogonality for a Lazy language}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {6:1--6:9}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205374}, doi = {10.1145/3205368.3205374}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/FridlenderGPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckS17, author = {Clemens Grelck and Nikolaos Sarris}, editor = {Nicolas Wu}, title = {Towards Compiling {SAC} for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {9:1--9:12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205377}, doi = {10.1145/3205368.3205377}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/GrelckS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/KlinikJP17, author = {Markus Klinik and Jan Martin Jansen and Rinus Plasmeijer}, editor = {Nicolas Wu}, title = {The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {8:1--8:12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205376}, doi = {10.1145/3205368.3205376}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/KlinikJP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/OortgieseGAP17, author = {Arjan Oortgiese and John H. G. van Groningen and Peter Achten and Rinus Plasmeijer}, editor = {Nicolas Wu}, title = {A Distributed Dynamic Architecture for Task Oriented Programming}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {7:1--7:12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205375}, doi = {10.1145/3205368.3205375}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/OortgieseGAP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/PietersSR17, author = {Ruben P. Pieters and Tom Schrijvers and Exequiel Rivas}, editor = {Nicolas Wu}, title = {Handlers for Non-Monadic Computations}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {4:1--4:11}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205372}, doi = {10.1145/3205368.3205372}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/PietersSR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/SerranoH17, author = {Alejandro Serrano and Jurriaan Hage}, editor = {Nicolas Wu}, title = {Type Error Customization in {GHC:} Controlling expression-level type errors by type-level programming}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {2:1--2:15}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205370}, doi = {10.1145/3205368.3205370}, timestamp = {Tue, 19 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/SerranoH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/SinkarovsSSV17, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz and Robert J. Stewart and Hans{-}Nikolai Vie{\ss}mann}, editor = {Nicolas Wu}, title = {Recursive Array Comprehensions in a Call-by-Value Language}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {5:1--5:12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205373}, doi = {10.1145/3205368.3205373}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/SinkarovsSSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/TothBK17, author = {Melinda T{\'{o}}th and Istv{\'{a}}n Boz{\'{o}} and Tam{\'{a}}s Kozsik}, editor = {Nicolas Wu}, title = {Pattern Candidate Discovery and Parallelization Techniques}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {1:1--1:26}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205369}, doi = {10.1145/3205368.3205369}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/TothBK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2017, editor = {Nicolas Wu}, title = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368}, doi = {10.1145/3205368}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.