Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icfp/icfp2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfp/0008E14,
author = {Sheng Chen and
Martin Erwig},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Type-based parametric analysis of program families},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {39--51},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628155},
doi = {10.1145/2628136.2628155},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/0008E14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AccattoliBM14,
author = {Beniamino Accattoli and
Pablo Barenbaum and
Damiano Mazza},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Distilling abstract machines},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {363--376},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628154},
doi = {10.1145/2628136.2628154},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AccattoliBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AngiuliMLH14,
author = {Carlo Angiuli and
Edward Morehouse and
Daniel R. Licata and
Robert Harper},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Homotopical patch theory},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {243--256},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628158},
doi = {10.1145/2628136.2628158},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AngiuliMLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BergstromFLRS14,
author = {Lars Bergstrom and
Matthew Fluet and
Matthew Le and
John H. Reppy and
Nora Sandler},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Practical and effective higher-order optimizations},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {81--93},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628153},
doi = {10.1145/2628136.2628153},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BergstromFLRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BreitnerEJW14,
author = {Joachim Breitner and
Richard A. Eisenberg and
Simon L. Peyton Jones and
Stephanie Weirich},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Safe zero-cost coercions for Haskell},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {189--202},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628141},
doi = {10.1145/2628136.2628141},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BreitnerEJW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChenAT14,
author = {Yan Chen and
Umut A. Acar and
Kanat Tangwongsan},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Functional programming for dynamic and large data with self-adjusting
computation},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {227--240},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628150},
doi = {10.1145/2628136.2628150},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChenAT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CockxDP14,
author = {Jesper Cockx and
Dominique Devriese and
Frank Piessens},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Pattern matching without {K}},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {257--268},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628139},
doi = {10.1145/2628136.2628139},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CockxDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DownenA14,
author = {Paul Downen and
Zena M. Ariola},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Compositional semantics for composable continuations: from abortive
to delimited control},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {109--122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628147},
doi = {10.1145/2628136.2628147},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DownenA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Findler14,
author = {Robert Bruce Findler},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Behavioral software contracts},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {137--138},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2632855},
doi = {10.1145/2628136.2632855},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Findler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Fisher14,
author = {Kathleen Fisher},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Using formal methods to enable more secure vehicles: DARPA's {HACMS}
program},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628165},
doi = {10.1145/2628136.2628165},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Fisher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FredrikssonG14,
author = {Olle Fredriksson and
Dan R. Ghica},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Krivine nets: a semantic foundation for distributed execution},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {349--361},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628152},
doi = {10.1145/2628136.2628152},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FredrikssonG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsW14,
author = {Jeremy Gibbons and
Nicolas Wu},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Folding domain-specific languages: deep and shallow embeddings (functional
Pearl)},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {339--347},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628138},
doi = {10.1145/2628136.2628138},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GrabmayerR14,
author = {Clemens Grabmayer and
Jan Rochel},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Maximal sharing in the Lambda calculus with letrec},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {67--80},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628148},
doi = {10.1145/2628136.2628148},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GrabmayerR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HackettH14,
author = {Jennifer Hackett and
Graham Hutton},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Worker/wrapper/makes it/faster},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {95--107},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628142},
doi = {10.1145/2628136.2628142},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HackettH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HickeyPEBL14,
author = {Patrick C. Hickey and
Lee Pike and
Trevor Elliott and
James Bielman and
John Launchbury},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Building embedded systems with embedded DSLs},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {3--9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628146},
doi = {10.1145/2628136.2628146},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HickeyPEBL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KakiJ14,
author = {Gowtham Kaki and
Suresh Jagannathan},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {A relational framework for higher-order shape analysis},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {311--324},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628159},
doi = {10.1145/2628136.2628159},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KakiJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MarlowBCP14,
author = {Simon Marlow and
Louis Brandy and
Jonathan Coens and
Jon Purdy},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {There is no fork: an abstraction for efficient, concurrent, and concise
data access},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {325--337},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628144},
doi = {10.1145/2628136.2628144},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MarlowBCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/McBride14,
author = {Conor Thomas McBride},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {How to keep your neighbours in order},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {297--309},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628163},
doi = {10.1145/2628136.2628163},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/McBride14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MulliganOGRS14,
author = {Dominic P. Mulligan and
Scott Owens and
Kathryn E. Gray and
Tom Ridge and
Peter Sewell},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Lem: reusable engineering of real-world semantics},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {175--188},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628143},
doi = {10.1145/2628136.2628143},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MulliganOGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NguyenTH14,
author = {Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Soft contract verification},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {139--152},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628156},
doi = {10.1145/2628136.2628156},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NguyenTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriUHNSMI14,
author = {Atsushi Ohori and
Katsuhiro Ueno and
Kazunori Hoshi and
Shinji Nozaki and
Takashi Sato and
Tasuku Makabe and
Yuki Ito},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {SML{\#} in industry: a practical {ERP} system development},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {167--173},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628164},
doi = {10.1145/2628136.2628164},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriUHNSMI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PetricekOM14,
author = {Tomas Petricek and
Dominic A. Orchard and
Alan Mycroft},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Coeffects: a calculus of context-dependent computation},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {123--135},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628160},
doi = {10.1145/2628136.2628160},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PetricekOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pottier14,
author = {Fran{\c{c}}ois Pottier},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Hindley-milner elaboration in applicative style: functional pearl},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {203--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628145},
doi = {10.1145/2628136.2628145},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pottier14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Ramsey14,
author = {Norman Ramsey},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {On teaching *how to design programs*: observations from a newcomer},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {153--166},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628137},
doi = {10.1145/2628136.2628137},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Ramsey14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchlesingerGW14,
author = {Cole Schlesinger and
Michael Greenberg and
David Walker},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Concurrent NetCore: from policies to pipelines},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {11--24},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628157},
doi = {10.1145/2628136.2628157},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchlesingerGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchoepeHS14,
author = {Daniel Schoepe and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {SeLINQ: tracking information across application-database boundaries},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {25--38},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628151},
doi = {10.1145/2628136.2628151},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchoepeHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchwerterGT14,
author = {Felipe Ba{\~{n}}ados Schwerter and
Ronald Garcia and
{\'{E}}ric Tanter},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {A theory of gradual effect systems},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {283--295},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628149},
doi = {10.1145/2628136.2628149},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchwerterGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StansiferW14,
author = {Paul Stansifer and
Mitchell Wand},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Romeo: a system for more flexible binding-safe programming},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {53--65},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628162},
doi = {10.1145/2628136.2628162},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/StansiferW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VazouSJVJ14,
author = {Niki Vazou and
Eric L. Seidel and
Ranjit Jhala and
Dimitrios Vytiniotis and
Simon L. Peyton Jones},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Refinement types for Haskell},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {269--282},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628161},
doi = {10.1145/2628136.2628161},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VazouSJVJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Weirich14,
author = {Stephanie Weirich},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Depending on types},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {241},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2631168},
doi = {10.1145/2628136.2631168},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Weirich14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Winograd-CortH14,
author = {Daniel Winograd{-}Cort and
Paul Hudak},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Settable and non-interfering signal functions for {FRP:} how a first-order
switch is more than enough},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {213--225},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628140},
doi = {10.1145/2628136.2628140},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Winograd-CortH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136},
doi = {10.1145/2628136},
isbn = {978-1-4503-2873-9},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-20 01:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
