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/icfp2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfp/0002KBD16,
author = {Ralf Jung and
Robbert Krebbers and
Lars Birkedal and
Derek Dreyer},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Higher-order ghost state},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {256--269},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951943},
doi = {10.1145/2951913.2951943},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/0002KBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Abadi16,
author = {Mart{\'{\i}}n Abadi},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {TensorFlow: learning functions at scale},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {1},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2976746},
doi = {10.1145/2951913.2976746},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Abadi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AcarCRS16,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey and
Filip Sieczkowski},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Dag-calculus: a calculus for parallel computation},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {18--32},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951946},
doi = {10.1145/2951913.2951946},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AcarCRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArntzeniusK16,
author = {Michael Arntzenius and
Neelakantan R. Krishnaswami},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Datafun: a functional Datalog},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {214--227},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951948},
doi = {10.1145/2951913.2951948},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ArntzeniusK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlazyLP16,
author = {Sandrine Blazy and
Vincent Laporte and
David Pichardie},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {An abstract memory functor for verified {C} static analyzers},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {325--337},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951937},
doi = {10.1145/2951913.2951937},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BlazyLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BorgstromLGS16,
author = {Johannes Borgstr{\"{o}}m and
Ugo Dal Lago and
Andrew D. Gordon and
Marcin Szymczak},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A lambda-calculus foundation for universal probabilistic programming},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {33--46},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951942},
doi = {10.1145/2951913.2951942},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BorgstromLGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CastagnaP016,
author = {Giuseppe Castagna and
Tommaso Petrucciani and
Kim Nguyen},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Set-theoretic types for polymorphic variants},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {378--391},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951928},
doi = {10.1145/2951913.2951928},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/CastagnaP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CastroHS16,
author = {David Castro and
Kevin Hammond and
Susmit Sarkar},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Farms, pipes, streams and reforestation: reasoning about structured
parallel processes using types and hylomorphisms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {4--17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951920},
doi = {10.1145/2951913.2951920},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/CastroHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenB16,
author = {David R. Christiansen and
Edwin C. Brady},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Elaborator reflection: extending Idris in Idris},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {284--297},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951932},
doi = {10.1145/2951913.2951932},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChristiansenB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenDD16,
author = {Jan Christiansen and
Nikita Danilenko and
Sandra Dylus},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {All sorts of permutations (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {168--179},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951949},
doi = {10.1145/2951913.2951949},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChristiansenDD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CicekP016,
author = {Ezgi {\c{C}}i{\c{c}}ek and
Zoe Paraskevopoulou and
Deepak Garg},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A type theory for incremental computational complexity with control
flow changes},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {132--145},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951950},
doi = {10.1145/2951913.2951950},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CicekP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CockxDP16,
author = {Jesper Cockx and
Dominique Devriese and
Frank Piessens},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Unifiers as equivalences: proof-relevant unification of dependently
typed data},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {270--283},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951917},
doi = {10.1145/2951913.2951917},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CockxDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DagandTT16,
author = {Pierre{-}{\'{E}}variste Dagand and
Nicolas Tabareau and
{\'{E}}ric Tanter},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Partial type equivalences for verified dependent interoperability},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {298--310},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951933},
doi = {10.1145/2951913.2951933},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DagandTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DaraisH16,
author = {David Darais and
David Van Horn},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Constructive Galois connections: taming the Galois connection framework
for mechanized metatheory},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {311--324},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951934},
doi = {10.1145/2951913.2951934},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/DaraisH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DimoulasNFF16,
author = {Christos Dimoulas and
Max S. New and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Oh Lord, please don't let contracts be misunderstood (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {117--131},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951930},
doi = {10.1145/2951913.2951930},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DimoulasNFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DownenMAJ16,
author = {Paul Downen and
Luke Maurer and
Zena M. Ariola and
Simon Peyton Jones},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Sequent calculus as a compiler intermediate language},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {74--88},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951931},
doi = {10.1145/2951913.2951931},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DownenMAJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EmotoMHMI16,
author = {Kento Emoto and
Kiminori Matsuzaki and
Zhenjiang Hu and
Akimasa Morihata and
Hideya Iwasaki},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Think like a vertex, behave like a function! a functional {DSL} for
vertex-centric big graph processing},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {200--213},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951938},
doi = {10.1145/2951913.2951938},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/EmotoMHMI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GaboardiKOBU16,
author = {Marco Gaboardi and
Shin{-}ya Katsumata and
Dominic A. Orchard and
Flavien Breuvart and
Tarmo Uustalu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Combining effects and coeffects via grading},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {476--489},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951939},
doi = {10.1145/2951913.2951939},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GaboardiKOBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Gilray0M16,
author = {Thomas Gilray and
Michael D. Adams and
Matthew Might},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Allocation characterizes polyvariance: a unified methodology for polyvariant
control-flow analysis},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {407--420},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951936},
doi = {10.1145/2951913.2951936},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Gilray0M16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/IsmailS16,
author = {Wazim Mohammed Ismail and
Chung{-}chieh Shan},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Deriving a probability density calculator (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {47--59},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951922},
doi = {10.1145/2951913.2951922},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/IsmailS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Licata16,
author = {Dan Licata},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A functional programmer's guide to homotopy type theory},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2976748},
doi = {10.1145/2951913.2976748},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Licata16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LindleyM16,
author = {Sam Lindley and
J. Garrett Morris},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Talking bananas: structural recursion for session types},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {434--447},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951921},
doi = {10.1145/2951913.2951921},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LindleyM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/McDonellZCN16,
author = {Trevor L. McDonell and
Timothy A. K. Zakian and
Matteo Cimini and
Ryan R. Newton},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Ghostbuster: a tool for simplifying and converting GADTs},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {338--350},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951914},
doi = {10.1145/2951913.2951914},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/McDonellZCN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Morris16,
author = {J. Garrett Morris},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {The best of both worlds: linear functional programming without compromise},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {448--461},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951925},
doi = {10.1145/2951913.2951925},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Morris16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuCL16,
author = {Shin{-}Cheng Mu and
Yu{-}Hsi Chiang and
Yu{-}Han Lyu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Queueing and glueing for optimal partitioning (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {158--167},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951923},
doi = {10.1145/2951913.2951923},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NewBA16,
author = {Max S. New and
William J. Bowman and
Amal Ahmed},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Fully abstract compilation via universal embedding},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {103--116},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951941},
doi = {10.1145/2951913.2951941},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/NewBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OConnorCRALMNSK16,
author = {Liam O'Connor and
Zilin Chen and
Christine Rizkallah and
Sidney Amani and
Japheth Lim and
Toby C. Murray and
Yutaka Nagashima and
Thomas Sewell and
Gerwin Klein},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Refinement through restraint: bringing down the cost of verification},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {89--102},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951940},
doi = {10.1145/2951913.2951940},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OConnorCRALMNSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OliveiraSA16,
author = {Bruno C. d. S. Oliveira and
Zhiyuan Shi and
Jo{\~{a}}o Alpuim},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Disjoint intersection types},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {364--377},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951945},
doi = {10.1145/2951913.2951945},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OliveiraSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PirogW16,
author = {Maciej Pir{\'{o}}g and
Nicolas Wu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {String diagrams for free monads (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {490--501},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951947},
doi = {10.1145/2951913.2951947},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PirogW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RaghunathanMAB16,
author = {Ram Raghunathan and
Stefan K. Muller and
Umut A. Acar and
Guy E. Blelloch},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Hierarchical memory management for parallel programs},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {392--406},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951935},
doi = {10.1145/2951913.2951935},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RaghunathanMAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Ryu16,
author = {Sukyoung Ryu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Journey to find bugs in JavaScript web applications in the wild},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2976747},
doi = {10.1145/2951913.2976747},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Ryu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SeidelJW16,
author = {Eric L. Seidel and
Ranjit Jhala and
Westley Weimer},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Dynamic witnesses for static type errors (or, ill-typed programs usually
go wrong)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {228--242},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951915},
doi = {10.1145/2951913.2951915},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SeidelJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sergey16,
author = {Ilya Sergey},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Experience report: growing and shrinking polygons for random testing
of computational geometry algorithms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {193--199},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951927},
doi = {10.1145/2951913.2951927},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Sergey16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SerranoP16,
author = {Manuel Serrano and
Vincent Prunet},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A glimpse of Hopjs},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {180--192},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951916},
doi = {10.1145/2951913.2951916},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SerranoP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Takeda0YS16,
author = {Kotaro Takeda and
Naoki Kobayashi and
Kazuya Yaguchi and
Ayumi Shinohara},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Compact bit encoding schemes for simply-typed lambda-terms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {146--157},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951918},
doi = {10.1145/2951913.2951918},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Takeda0YS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TanMKFON16,
author = {Yong Kiam Tan and
Magnus O. Myreen and
Ramana Kumar and
Anthony C. J. Fox and
Scott Owens and
Michael Norrish},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A new verified compiler backend for CakeML},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {60--73},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951924},
doi = {10.1145/2951913.2951924},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/TanMKFON16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ThibodeauCP16,
author = {David Thibodeau and
Andrew Cave and
Brigitte Pientka},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Indexed codata types},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {351--363},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951929},
doi = {10.1145/2951913.2951929},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ThibodeauCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ThiemannV16,
author = {Peter Thiemann and
Vasco T. Vasconcelos},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Context-free session types},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {462--475},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951926},
doi = {10.1145/2951913.2951926},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ThiemannV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/UenoO16,
author = {Katsuhiro Ueno and
Atsushi Ohori},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A fully concurrent garbage collector for functional programs on multicore
processors},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {421--433},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951944},
doi = {10.1145/2951913.2951944},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/UenoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WatanabeST016,
author = {Keiichi Watanabe and
Ryosuke Sato and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Automatically disproving fair termination of higher-order functional
programs},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {243--255},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951919},
doi = {10.1145/2951913.2951919},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/WatanabeST016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913},
doi = {10.1145/2951913},
isbn = {978-1-4503-4219-3},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2016.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-05-25 02:34 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:
