Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ifl/0002M19,
  author       = {Sebastian Ullrich and
                  Leonardo de Moura},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Counting immutable beans: reference counting optimized for purely
                  functional programming},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {3:1--3:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412935},
  doi          = {10.1145/3412932.3412935},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/0002M19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Barwell019,
  author       = {Adam D. Barwell and
                  Christopher Brown},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A trustworthy framework for resource-aware embedded programming},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {12:1--12:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412944},
  doi          = {10.1145/3412932.3412944},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Barwell019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/CastagnaDLS19,
  author       = {Giuseppe Castagna and
                  Guillaume Duboc and
                  Victor Lanvin and
                  Jeremy G. Siek},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A space-efficient call-by-value virtual machine for gradual set-theoretic
                  types},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {8:1--8:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412940},
  doi          = {10.1145/3412932.3412940},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/CastagnaDLS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Danvy19,
  author       = {Olivier Danvy},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Mystery functions: making specifications, unit tests, and implementations
                  coexist in the mind of undergraduate students},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {2:1--2:9},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412934},
  doi          = {10.1145/3412932.3412934},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Danvy19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Garcia-GarlandP19,
  author       = {Juan Garc{\'{\i}}a{-}Garland and
                  Alberto Pardo and
                  Marcos Viera},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Attribute grammars fly first-class... safer!: dealing with {DSL} errors
                  in type-level programming},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {10:1--10:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412942},
  doi          = {10.1145/3412932.3412942},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Garcia-GarlandP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Horn0C19,
  author       = {Rudi Horn and
                  Simon Fowler and
                  James Cheney},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Language-integrated updatable views},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {13:1--13:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412945},
  doi          = {10.1145/3412932.3412945},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Horn0C19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KoopmanP19,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A new view on parser combinators},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {6:1--6:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412938},
  doi          = {10.1145/3412932.3412938},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/KoopmanP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LubbersKP19,
  author       = {Mart Lubbers and
                  Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Interpreting task oriented programs on tiny computers},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {4:1--4:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412936},
  doi          = {10.1145/3412932.3412936},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/LubbersKP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/MistaR19,
  author       = {Agust{\'{\i}}n Mista and
                  Alejandro Russo},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Deriving compositional random generators},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {11:1--11:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412943},
  doi          = {10.1145/3412932.3412943},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/MistaR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/NausSK19,
  author       = {Nico Naus and
                  Tim Steenvoorden and
                  Markus Klinik},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A symbolic execution semantics for TopHat},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {1:1--1:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412933},
  doi          = {10.1145/3412932.3412933},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/NausSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/PawlakEO19,
  author       = {Wojciech Michal Pawlak and
                  Martin Elsman and
                  Cosmin Eugen Oancea},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {A functional approach to accelerating Monte Carlo based american option
                  pricing},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {5:1--5:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412937},
  doi          = {10.1145/3412932.3412937},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/PawlakEO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ReppyW19,
  author       = {John H. Reppy and
                  Joe Wingerter},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Shapes and flattening},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {14:1--14:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412946},
  doi          = {10.1145/3412932.3412946},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/ReppyW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ScholzS19,
  author       = {Sven{-}Bodo Scholz and
                  Artjoms Sinkarovs},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Tensor comprehensions in SaC},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {15:1--15:13},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412947},
  doi          = {10.1145/3412932.3412947},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/ScholzS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/StapsGP19,
  author       = {Camil Staps and
                  John H. G. van Groningen and
                  Rinus Plasmeijer},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Lazy interworking of compiled and interpreted code for sandboxing
                  and distributed systems},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {9:1--9:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412941},
  doi          = {10.1145/3412932.3412941},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/StapsGP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/TsushimaCS19,
  author       = {Kanae Tsushima and
                  Olaf Chitil and
                  Joanna Sharrad},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Type debugging with counter-factual type error messages using an existing
                  type checker},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {7:1--7:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412939},
  doi          = {10.1145/3412932.3412939},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/TsushimaCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2019,
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932},
  doi          = {10.1145/3412932},
  isbn         = {978-1-4503-7562-7},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}