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/icfp2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfp/AhmedB11,
author = {Amal Ahmed and
Matthias Blume},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {An equivalence-preserving {CPS} translation via multi-language semantics},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {431--444},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034830},
doi = {10.1145/2034773.2034830},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AhmedB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AhnS11,
author = {Ki Yung Ahn and
Tim Sheard},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {A hierarchy of mendler style recursion combinators: taming inductive
datatypes with negative occurrences},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {234--246},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034807},
doi = {10.1145/2034773.2034807},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AhnS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CastagnaX11,
author = {Giuseppe Castagna and
Zhiwu Xu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Set-theoretic foundation of parametric polymorphism and subtyping},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {94--106},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034788},
doi = {10.1145/2034773.2034788},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/CastagnaX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Chargueraud11,
author = {Arthur Chargu{\'{e}}raud},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Characteristic formulae for the verification of imperative programs},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {418--430},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034828},
doi = {10.1145/2034773.2034828},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Chargueraud11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChenDHA11,
author = {Yan Chen and
Jana Dunfield and
Matthew A. Hammer and
Umut A. Acar},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Implicit self-adjusting computation for purely functional programs},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {129--141},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034792},
doi = {10.1145/2034773.2034792},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChenDHA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChyzakD11,
author = {Fr{\'{e}}d{\'{e}}ric Chyzak and
Alexis Darrasse},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Using camlp4 for presenting dynamic mathematics on the web: DynaMoW,
an OCaml language extension for the run-time generation of mathematical
contents and their presentation on the web},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {259--265},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034809},
doi = {10.1145/2034773.2034809},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChyzakD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DevrieseP11,
author = {Dominique Devriese and
Frank Piessens},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {On the bright side of type classes: instance arguments in Agda},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {143--155},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034796},
doi = {10.1145/2034773.2034796},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DevrieseP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DisneyFM11,
author = {Tim Disney and
Cormac Flanagan and
Jay McCarthy},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Temporal higher-order contracts},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {176--188},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034800},
doi = {10.1145/2034773.2034800},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DisneyFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Filinski11,
author = {Andrzej Filinski},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Towards a comprehensive theory of monadic effects},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {1},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034775},
doi = {10.1145/2034773.2034775},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Filinski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FisherFWZ11,
author = {Kathleen Fisher and
Nate Foster and
David Walker and
Kenny Qili Zhu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Forest: a language and toolkit for programming with filestores},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {292--306},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034814},
doi = {10.1145/2034773.2034814},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FisherFWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FosterHFMRSW11,
author = {Nate Foster and
Rob Harrison and
Michael J. Freedman and
Christopher Monsanto and
Jennifer Rexford and
Alec Story and
David Walker},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Frenetic: a network programming language},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {279--291},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034812},
doi = {10.1145/2034773.2034812},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FosterHFMRSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GaboardiPP11,
author = {Marco Gaboardi and
Luca Paolini and
Mauro Piccolo},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Linearity and {PCF:} a semantic insight!},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {372--384},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034822},
doi = {10.1145/2034773.2034822},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GaboardiPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GesbertGL11,
author = {Nils Gesbert and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Parametric polymorphism and semantic subtyping: the logical connection},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {107--116},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034789},
doi = {10.1145/2034773.2034789},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GesbertGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GhicaSS11,
author = {Dan R. Ghica and
Alex I. Smith and
Satnam Singh},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Geometry of synthesis iv: compiling affine recursion into static hardware},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {221--233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034805},
doi = {10.1145/2034773.2034805},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GhicaSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsH11,
author = {Jeremy Gibbons and
Ralf Hinze},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Just do it: simple monadic equational reasoning},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {2--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034777},
doi = {10.1145/2034773.2034777},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GillF11,
author = {Andy Gill and
Andrew Farmer},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Deriving an efficient {FPGA} implementation of a low density parity
check forward error corrector},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {209--220},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034804},
doi = {10.1145/2034773.2034804},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GillF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GonthierZND11,
author = {Georges Gonthier and
Beta Ziliani and
Aleksandar Nanevski and
Derek Dreyer},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {How to make ad hoc proof automation less ad hoc},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {163--175},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034798},
doi = {10.1145/2034773.2034798},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GonthierZND11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GotsmanY11,
author = {Alexey Gotsman and
Hongseok Yang},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Modular verification of preemptive {OS} kernels},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {404--417},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034827},
doi = {10.1145/2034773.2034827},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GotsmanY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJ11,
author = {Ralf Hinze and
Daniel W. H. James},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Proving the unique fixed-point principle correct: an adventure with
category theory},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {359--371},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034821},
doi = {10.1145/2034773.2034821},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JayP11,
author = {C. Barry Jay and
Jens Palsberg},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Typed self-interpretation by pattern matching},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {247--258},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034808},
doi = {10.1145/2034773.2034808},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/JayP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KrishnaswamiB11,
author = {Neelakantan R. Krishnaswami and
Nick Benton},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {A semantic model for graphical user interfaces},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {45--57},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034782},
doi = {10.1145/2034773.2034782},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KrishnaswamiB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesH11,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
W. Bas de Haas},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Functional modelling of musical harmony: an experience report},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {156--162},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034797},
doi = {10.1145/2034773.2034797},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MaterzokB11,
author = {Marek Materzok and
Dariusz Biernacki},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Subtyping delimited continuations},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {81--93},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034786},
doi = {10.1145/2034773.2034786},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MaterzokB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MightDS11,
author = {Matthew Might and
David Darais and
Daniel Spiewak},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Parsing with derivatives: a functional pearl},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {189--195},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034801},
doi = {10.1145/2034773.2034801},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MightDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Mitchell11,
author = {Emily G. Mitchell},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Functional programming through deep time: modeling the first complex
ecosystems on earth},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {28--31},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034779},
doi = {10.1145/2034773.2034779},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Mitchell11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MorihataM11,
author = {Akimasa Morihata and
Kiminori Matsuzaki},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Balanced trees inhabiting functional parallel programming},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {117--128},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034791},
doi = {10.1145/2034773.2034791},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MorihataM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuM11,
author = {Shin{-}Cheng Mu and
Akimasa Morihata},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Generalising and dualising the third list-homomorphism theorem: functional
pearl},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {385--391},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034824},
doi = {10.1145/2034773.2034824},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriU11,
author = {Atsushi Ohori and
Katsuhiro Ueno},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Making standard {ML} a practical database programming language},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {307--319},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034815},
doi = {10.1145/2034773.2034815},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PopescuG11,
author = {Andrei Popescu and
Elsa L. Gunter},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Recursion principles for syntax with bindings and substitution},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {346--358},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034819},
doi = {10.1145/2034773.2034819},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PopescuG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pouillard11,
author = {Nicolas Pouillard},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Nameless, painless},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {320--332},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034817},
doi = {10.1145/2034773.2034817},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pouillard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchrijversO11,
author = {Tom Schrijvers and
Bruno C. d. S. Oliveira},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Monads, zippers and views: virtualizing the monad stack},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {32--44},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034781},
doi = {10.1145/2034773.2034781},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchrijversO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ShiversT11,
author = {Olin Shivers and
Aaron Joseph Turon},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Modular rollback through control logging: a pair of twin functional
pearls},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {58--68},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034783},
doi = {10.1145/2034773.2034783},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ShiversT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyCFSBY11,
author = {Nikhil Swamy and
Juan Chen and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Karthikeyan Bhargavan and
Jean Yang},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Secure distributed programming with value-dependent types},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {266--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034811},
doi = {10.1145/2034773.2034811},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwamyCFSBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyGLH11,
author = {Nikhil Swamy and
Nataliya Guts and
Daan Leijen and
Michael Hicks},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Lightweight monadic programming in {ML}},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {15--27},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034778},
doi = {10.1145/2034773.2034778},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwamyGLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Takeyama11,
author = {Makoto Takeyama},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Programming assurance cases in Agda},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {142},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034794},
doi = {10.1145/2034773.2034794},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Takeyama11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ThamsborgB11,
author = {Jacob Thamsborg and
Lars Birkedal},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {A kripke logical relation for effect-based program transformations},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {445--456},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034831},
doi = {10.1145/2034773.2034831},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ThamsborgB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/UenoOO11,
author = {Katsuhiro Ueno and
Atsushi Ohori and
Toshiaki Otomo},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {An efficient non-moving garbage collector for functional languages},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {196--208},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034802},
doi = {10.1145/2034773.2034802},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/UenoOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VardoulakisS11,
author = {Dimitrios Vardoulakis and
Olin Shivers},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Pushdown flow analysis of first-class control},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {69--80},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034785},
doi = {10.1145/2034773.2034785},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VardoulakisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WangGW11,
author = {Meng Wang and
Jeremy Gibbons and
Nicolas Wu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Incremental updates for efficient bidirectional transformations},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {392--403},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034825},
doi = {10.1145/2034773.2034825},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WangGW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WeirichYS11,
author = {Stephanie Weirich and
Brent A. Yorgey and
Tim Sheard},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Binders unbound},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {333--345},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034818},
doi = {10.1145/2034773.2034818},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WeirichYS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773},
doi = {10.1145/2034773},
isbn = {978-1-4503-0865-6},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2011.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-05 16:58 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:
