Search dblp for Publications

export results for "toc:db/conf/ifl/ifl2017.bht:"

 download as .bib file

@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 = {Wed, 21 Nov 2018 12:43:56 +0100},
  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 12:43:56 +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 12:43:56 +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 12:43:56 +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 12:43:56 +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 = {Fri, 27 Mar 2020 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 = {Sat, 19 Oct 2019 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 12:43:56 +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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics