Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ifl/BraquehaisR17,
  author       = {Rudy Braquehais and
                  Colin Runciman},
  title        = {Extrapolate: generalizing counterexamples of functional test properties},
  booktitle    = {{IFL}},
  pages        = {3:1--3:11},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/FridlenderGPR17,
  author       = {Daniel Fridlender and
                  Alejandro Gadea and
                  Miguel Pagano and
                  Leonardo Rodr{\'{\i}}guez},
  title        = {Biorthogonality for a Lazy language},
  booktitle    = {{IFL}},
  pages        = {6:1--6:9},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/GrelckS17,
  author       = {Clemens Grelck and
                  Nikolaos Sarris},
  title        = {Towards Compiling {SAC} for the Xeon Phi Knights Corner and Knights
                  Landing Architectures: Strategies and Experiments},
  booktitle    = {{IFL}},
  pages        = {9:1--9:12},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/KlinikJP17,
  author       = {Markus Klinik and
                  Jan Martin Jansen and
                  Rinus Plasmeijer},
  title        = {The Sky is the Limit: Analysing Resource Consumption Over Time Using
                  Skylines},
  booktitle    = {{IFL}},
  pages        = {8:1--8:12},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/OortgieseGAP17,
  author       = {Arjan Oortgiese and
                  John H. G. van Groningen and
                  Peter Achten and
                  Rinus Plasmeijer},
  title        = {A Distributed Dynamic Architecture for Task Oriented Programming},
  booktitle    = {{IFL}},
  pages        = {7:1--7:12},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/PietersSR17,
  author       = {Ruben P. Pieters and
                  Tom Schrijvers and
                  Exequiel Rivas},
  title        = {Handlers for Non-Monadic Computations},
  booktitle    = {{IFL}},
  pages        = {4:1--4:11},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/SerranoH17,
  author       = {Alejandro Serrano and
                  Jurriaan Hage},
  title        = {Type Error Customization in {GHC:} Controlling expression-level type
                  errors by type-level programming},
  booktitle    = {{IFL}},
  pages        = {2:1--2:15},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/SinkarovsSSV17,
  author       = {Artjoms Sinkarovs and
                  Sven{-}Bodo Scholz and
                  Robert J. Stewart and
                  Hans{-}Nikolai Vie{\ss}mann},
  title        = {Recursive Array Comprehensions in a Call-by-Value Language},
  booktitle    = {{IFL}},
  pages        = {5:1--5:12},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifl/TothBK17,
  author       = {Melinda T{\'{o}}th and
                  Istv{\'{a}}n Boz{\'{o}} and
                  Tam{\'{a}}s Kozsik},
  title        = {Pattern Candidate Discovery and Parallelization Techniques},
  booktitle    = {{IFL}},
  pages        = {1:1--1:26},
  publisher    = {{ACM}},
  year         = {2017}
}

@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}
}