Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Bruce Findler
@article{DBLP:journals/pacmpl/FlattAAGFFGGKKMPPST23,
author = {Matthew Flatt and
Taylor Allred and
Nia Angle and
Stephen De Gabrielle and
Robert Bruce Findler and
Jack Firth and
Kiran Gopinathan and
Ben Greenman and
Siddhartha Kasivajhula and
Alex Knauth and
Jay A. McCarthy and
Sam Phillips and
Sorawee Porncharoenwase and
Jens Axel S{\o}gaard and
Sam Tobin{-}Hochstadt},
title = {Rhombus: {A} New Spin on Macros without All the Parentheses},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {574--603},
year = {2023},
url = {https://doi.org/10.1145/3622818},
doi = {10.1145/3622818},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FlattAAGFFGGKKMPPST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HoeflichFS22,
author = {Joshua Hoeflich and
Robert Bruce Findler and
Manuel Serrano},
title = {Highly illogical, Kirk: spotting type mismatches in the large despite
broken contracts, unsound types, and too many linters},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {479--504},
year = {2022},
url = {https://doi.org/10.1145/3563305},
doi = {10.1145/3563305},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HoeflichFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/YouFD21,
author = {Shu{-}Hung You and
Robert Bruce Findler and
Christos Dimoulas},
editor = {Nobuko Yoshida},
title = {Sound and Complete Concolic Testing for Higher-order Functions},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {635--663},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_23},
doi = {10.1007/978-3-030-72019-3\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/YouFD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LazarekKSFD20,
author = {Lukas Lazarek and
Alexis King and
Samanvitha Sundar and
Robert Bruce Findler and
Christos Dimoulas},
title = {Does blame shifting work?},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {65:1--65:29},
year = {2020},
url = {https://doi.org/10.1145/3371133},
doi = {10.1145/3371133},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LazarekKSFD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SerranoF20,
author = {Manuel Serrano and
Robert Bruce Findler},
editor = {Louis{-}No{\"{e}}l Pouchet and
Alexandra Jimborean},
title = {Dynamic property caches: a step towards faster JavaScript proxy objects},
booktitle = {{CC} '20: 29th International Conference on Compiler Construction,
San Diego, CA, USA, February 22-23, 2020},
pages = {108--118},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377555.3377888},
doi = {10.1145/3377555.3377888},
timestamp = {Mon, 03 Jan 2022 22:32:58 +0100},
biburl = {https://dblp.org/rec/conf/cc/SerranoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11639,
author = {Shu{-}Hung You and
Robert Bruce Findler and
Christos Dimoulas},
title = {Dynamic Symbolic Execution of Higher-Order Functions},
journal = {CoRR},
volume = {abs/2006.11639},
year = {2020},
url = {https://arxiv.org/abs/2006.11639},
eprinttype = {arXiv},
eprint = {2006.11639},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GreenmanTNFFVF19,
author = {Ben Greenman and
Asumu Takikawa and
Max S. New and
Daniel Feltey and
Robert Bruce Findler and
Jan Vitek and
Matthias Felleisen},
title = {How to evaluate the performance of gradual type systems},
journal = {J. Funct. Program.},
volume = {29},
pages = {e4},
year = {2019},
url = {https://doi.org/10.1017/S0956796818000217},
doi = {10.1017/S0956796818000217},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GreenmanTNFFVF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FlorenceYTF19,
author = {Spencer P. Florence and
Shu{-}Hung You and
Jesse A. Tov and
Robert Bruce Findler},
title = {A calculus for Esterel: if can, can. if no can, no can},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {61:1--61:29},
year = {2019},
url = {https://doi.org/10.1145/3290374},
doi = {10.1145/3290374},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FlorenceYTF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FelleisenFFKBMT18,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
title = {A programmable programming language},
journal = {Commun. {ACM}},
volume = {61},
number = {3},
pages = {62--71},
year = {2018},
url = {https://doi.org/10.1145/3127323},
doi = {10.1145/3127323},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FelleisenFFKBMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FelteyGSFS18,
author = {Daniel Feltey and
Ben Greenman and
Christophe Scholliers and
Robert Bruce Findler and
Vincent St{-}Amour},
title = {Collapsible contracts: fixing a pathology of gradual typing},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {133:1--133:27},
year = {2018},
url = {https://doi.org/10.1145/3276503},
doi = {10.1145/3276503},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FelteyGSFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/McCarthyFNFF18,
author = {Jay A. McCarthy and
Burke Fetscher and
Max S. New and
Daniel Feltey and
Robert Bruce Findler},
title = {A Coq library for internal verification of running-times},
journal = {Sci. Comput. Program.},
volume = {164},
pages = {49--65},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.05.001},
doi = {10.1016/J.SCICO.2017.05.001},
timestamp = {Tue, 18 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/McCarthyFNFF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FlorenceFFTSKWN18,
author = {Spencer P. Florence and
Burke Fetscher and
Matthew Flatt and
William H. Temps and
Vincent St{-}Amour and
Tina Kiguradze and
Dennis P. West and
Charlotte Niznik and
Paul R. Yarnold and
Robert Bruce Findler and
Steven M. Belknap},
title = {{POP-PL:} {A} Patient-Oriented Prescription Programming Language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {3},
pages = {10:1--10:37},
year = {2018},
url = {https://doi.org/10.1145/3210256},
doi = {10.1145/3210256},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/FlorenceFFTSKWN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NewFFM17,
author = {Max S. New and
Burke Fetscher and
Robert Bruce Findler and
Jay A. McCarthy},
title = {Fair enumeration combinators},
journal = {J. Funct. Program.},
volume = {27},
pages = {e19},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000107},
doi = {10.1017/S0956796817000107},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NewFFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/St-AmourFFYF17,
author = {Vincent St{-}Amour and
Daniel Feltey and
Spencer P. Florence and
Shu{-}Hung You and
Robert Bruce Findler},
title = {Herbarium Racketensis: a stroll through the woods (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {1:1--1:15},
year = {2017},
url = {https://doi.org/10.1145/3110245},
doi = {10.1145/3110245},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/St-AmourFFYF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Tobin-Hochstadt17,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Ben Greenman and
Andrew M. Kent and
Vincent St{-}Amour and
T. Stephen Strickland and
Asumu Takikawa},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Migratory Typing: Ten Years Later},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.17},
doi = {10.4230/LIPICS.SNAPL.2017.17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Tobin-Hochstadt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/McCarthyFNFF16,
author = {Jay A. McCarthy and
Burke Fetscher and
Max S. New and
Daniel Feltey and
Robert Bruce Findler},
editor = {Oleg Kiselyov and
Andy King},
title = {A Coq Library for Internal Verification of Running-Times},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {144--162},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_10},
doi = {10.1007/978-3-319-29604-3\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/McCarthyFNFF16.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 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DimoulasNFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MooreDFFC16,
author = {Scott Moore and
Christos Dimoulas and
Robert Bruce Findler and
Matthew Flatt and
Stephen Chong},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Extensible access control with authorization contracts},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {214--233},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984021},
doi = {10.1145/2983990.2984021},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MooreDFFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Findler16,
author = {Robby Bruce Findler},
editor = {Tijs van der Storm and
Emilie Balland and
D{\'{a}}niel Varr{\'{o}}},
title = {Redex: a language for lightweight semantics engineering (keynote)},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, Amsterdam, The Netherlands, October
31 - November 1, 2016},
pages = {1},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2998391},
timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/sle/Findler16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TakikawaFDFFTF15,
author = {Asumu Takikawa and
Daniel Feltey and
Earl Dean and
Matthew Flatt and
Robert Bruce Findler and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {John Tang Boyland},
title = {Towards Practical Gradual Typing},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {4--27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.4},
doi = {10.4230/LIPICS.ECOOP.2015.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/TakikawaFDFFTF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FetscherCPHF15,
author = {Burke Fetscher and
Koen Claessen and
Michal H. Palka and
John Hughes and
Robert Bruce Findler},
editor = {Jan Vitek},
title = {Making Random Judgments: Automatically Generating Well-Typed Terms
from the Definition of a Type-System},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {383--405},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_16},
doi = {10.1007/978-3-662-46669-8\_16},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/FetscherCPHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/FlorenceFFTKWNY15,
author = {Spencer P. Florence and
Burke Fetscher and
Matthew Flatt and
William H. Temps and
Tina Kiguradze and
Dennis P. West and
Charlotte Niznik and
Paul R. Yarnold and
Robert Bruce Findler and
Steven M. Belknap},
editor = {Christian K{\"{a}}stner and
Aniruddha S. Gokhale},
title = {{POP-PL:} a patient-oriented prescription programming language},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2015, Pittsburgh,
PA, USA, October 26-27, 2015},
pages = {131--140},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814204.2814221},
doi = {10.1145/2814204.2814221},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/FlorenceFFTKWNY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/FelleisenFFKBMT15,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Racket Manifesto},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {113--128},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.113},
doi = {10.4230/LIPICS.SNAPL.2015.113},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/FelleisenFFKBMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SinghF14,
author = {Satnam Singh and
Robert Bruce Findler},
title = {Special Issue Dedicated to {ICFP} 2012: Editorial},
journal = {J. Funct. Program.},
volume = {24},
number = {2-3},
pages = {131--132},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000124},
doi = {10.1017/S0956796814000124},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SinghF14.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 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Findler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FindlerF13,
author = {Robert Bruce Findler and
Matthias Felleisen},
title = {{ICFP} 2002: Contracts for higher-order functions},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {34--45},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502521},
doi = {10.1145/2502508.2502521},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FindlerF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DimoulasFF13,
author = {Christos Dimoulas and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Option contracts},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {475--494},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509548},
doi = {10.1145/2509136.2509548},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DimoulasFF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TewSFFD13,
author = {Kevin Tew and
James Swaine and
Matthew Flatt and
Robert Bruce Findler and
Peter A. Dinda},
editor = {Jay McCarthy},
title = {Distributed Places},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {34--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_3},
doi = {10.1007/978-3-642-45340-3\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TewSFFD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CooperGKMF13,
author = {Gregory H. Cooper and
Arjun Guha and
Shriram Krishnamurthi and
Jay A. McCarthy and
Robert Bruce Findler},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {Teaching garbage collection without implementing compiler or interpreters},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {385--390},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445314},
doi = {10.1145/2445196.2445314},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/CooperGKMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FlattCDF12,
author = {Matthew Flatt and
Ryan Culpepper and
David Darais and
Robert Bruce Findler},
title = {Macros that Work Together - Compile-time bindings, partial expansion,
and definition contexts},
journal = {J. Funct. Program.},
volume = {22},
number = {2},
pages = {181--216},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000093},
doi = {10.1017/S0956796812000093},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FlattCDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KleinFF12,
author = {Casey Klein and
Matthew Flatt and
Robert Bruce Findler},
title = {The Racket virtual machine and randomized testing},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {2-4},
pages = {209--253},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9091-1},
doi = {10.1007/S10990-013-9091-1},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/KleinFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwaineFSFF12,
author = {James Swaine and
Burke Fetscher and
Vincent St{-}Amour and
Robert Bruce Findler and
Matthew Flatt},
editor = {Andrzej Filinski and
Clemens Grelck},
title = {Seeing the futures: profiling shared-memory parallel racket},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} workshop on Functional high-performance
computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012},
pages = {73--82},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364474.2364485},
doi = {10.1145/2364474.2364485},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SwaineFSFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/StricklandTFF12,
author = {T. Stephen Strickland and
Sam Tobin{-}Hochstadt and
Robert Bruce Findler and
Matthew Flatt},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Chaperones and impersonators: run-time support for reasonable interposition},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {943--962},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384685},
doi = {10.1145/2384616.2384685},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/StricklandTFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KleinCDEFFMRTF12,
author = {Casey Klein and
John Clements and
Christos Dimoulas and
Carl Eastlund and
Matthias Felleisen and
Matthew Flatt and
Jay A. McCarthy and
Jon Rafkind and
Sam Tobin{-}Hochstadt and
Robert Bruce Findler},
editor = {John Field and
Michael Hicks},
title = {Run your research: on the effectiveness of lightweight mechanization},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {285--296},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103691},
doi = {10.1145/2103656.2103691},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/KleinCDEFFMRTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012,
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527},
doi = {10.1145/2364527},
isbn = {978-1-4503-1054-3},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KleinMJF11,
author = {Casey Klein and
Jay A. McCarthy and
Steven Jaconette and
Robert Bruce Findler},
editor = {Hongseok Yang},
title = {A Semantics for Context-Sensitive Reduction Semantics},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {369--383},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_27},
doi = {10.1007/978-3-642-25318-8\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KleinMJF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/HoangFJ11,
author = {Giang Hoang and
Robby Bruce Findler and
Russ Joseph},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Exploring circuit timing-aware language and compilation},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {345--356},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950405},
doi = {10.1145/1950365.1950405},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/HoangFJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/TewSFFD11,
author = {Kevin Tew and
James Swaine and
Matthew Flatt and
Robert Bruce Findler and
Peter A. Dinda},
editor = {Theo D'Hondt},
title = {Places: adding message-passing parallelism to racket},
booktitle = {Proceedings of the 7th Symposium on Dynamic Languages, {DLS} 2011,
October 24, 2011, Portland, OR, {USA}},
pages = {85--96},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2047849.2047860},
doi = {10.1145/2047849.2047860},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/TewSFFD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AhmedFSW11,
author = {Amal Ahmed and
Robert Bruce Findler and
Jeremy G. Siek and
Philip Wadler},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Blame for all},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {201--214},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926409},
doi = {10.1145/1926385.1926409},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AhmedFSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DimoulasFFF11,
author = {Christos Dimoulas and
Robert Bruce Findler and
Cormac Flanagan and
Matthias Felleisen},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Correct blame for contracts: no more scapegoating},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {215--226},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926410},
doi = {10.1145/1926385.1926410},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DimoulasFFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028059,
author = {Michael Sperber and
R. Kent Dybvig and
Matthew Flatt and
Anton van Straaten and
Robert Bruce Findler and
Jacob Matthews},
title = {Revised6 Report on the Algorithmic Language Scheme},
publisher = {Cambridge University Press},
year = {2010},
isbn = {978-0-521-19399-3},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KleinFF10,
author = {Casey Klein and
Matthew Flatt and
Robert Bruce Findler},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Random testing for higher-order, stateful programs},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {555--566},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869505},
doi = {10.1145/1869459.1869505},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KleinFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SwaineTDFF10,
author = {James Swaine and
Kevin Tew and
Peter A. Dinda and
Robert Bruce Findler and
Matthew Flatt},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Back to the futures: incremental parallelization of existing sequential
runtime systems},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {583--597},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869507},
doi = {10.1145/1869459.1869507},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SwaineTDFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023092,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt},
title = {Semantics Engineering with {PLT} Redex},
publisher = {{MIT} Press},
year = {2009},
url = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2\&\#38;tid=11885},
isbn = {978-0-262-06275-6},
timestamp = {Wed, 09 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0023092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MatthewsF09,
author = {Jacob Matthews and
Robert Bruce Findler},
title = {Operational semantics for multi-language programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {3},
pages = {12:1--12:44},
year = {2009},
url = {https://doi.org/10.1145/1498926.1498930},
doi = {10.1145/1498926.1498930},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MatthewsF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AhmedFMW09,
author = {Amal Ahmed and
Robert Bruce Findler and
Jacob Matthews and
Philip Wadler},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Blame for all},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {1--13},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570507},
doi = {10.1145/1570506.1570507},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AhmedFMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Tobin-Hochstadt09,
author = {Sam Tobin{-}Hochstadt and
Robert Bruce Findler},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Cycles without pollution: a gradual typing poem},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {47--57},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570512},
doi = {10.1145/1570506.1570512},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Tobin-Hochstadt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WadlerF09,
author = {Philip Wadler and
Robert Bruce Findler},
editor = {Giuseppe Castagna},
title = {Well-Typed Programs Can't Be Blamed},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_1},
doi = {10.1007/978-3-642-00590-9\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WadlerF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FelleisenFFK09,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {A functional {I/O} system or, fun for freshman kids},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {47--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596561},
doi = {10.1145/1596550.1596561},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FelleisenFFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattBF09,
author = {Matthew Flatt and
Eli Barzilay and
Robert Bruce Findler},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Scribble: closing the book on ad hoc documentation tools},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {109--120},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596569},
doi = {10.1145/1596550.1596569},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FlattBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MatthewsF08,
author = {Jacob Matthews and
Robert Bruce Findler},
title = {An operational semantics for Scheme},
journal = {J. Funct. Program.},
volume = {18},
number = {1},
pages = {47--86},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006478},
doi = {10.1017/S0956796807006478},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MatthewsF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/GuhaMFK07,
author = {Arjun Guha and
Jacob Matthews and
Robert Bruce Findler and
Shriram Krishnamurthi},
editor = {Pascal Costanza and
Robert Hirschfeld},
title = {Relationally-parametric polymorphic contracts},
booktitle = {Proceedings of the 2007 Symposium on Dynamic Languages, {DLS} 2007,
October 22, 2007, Montreal, Quebec, Canada},
pages = {29--40},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297081.1297089},
doi = {10.1145/1297081.1297089},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/GuhaMFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KuanMF07,
author = {George Kuan and
David MacQueen and
Robert Bruce Findler},
editor = {Rocco De Nicola},
title = {A Rewriting Semantics for Type Inference},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {426--440},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_29},
doi = {10.1007/978-3-540-71316-6\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KuanMF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattYFF07,
author = {Matthew Flatt and
Gang Yu and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Adding delimited and composable control to a production programming
environment},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {165--176},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291178},
doi = {10.1145/1291151.1291178},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FlattYFF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/FindlerGR07,
author = {Robert Bruce Findler and
Shu{-}yu Guo and
Anne Rogers},
editor = {Olaf Chitil and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Lazy Contract Checking for Immutable Data Structures},
booktitle = {Implementation and Application of Functional Languages, 19th International
Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5083},
pages = {111--128},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85373-2\_7},
doi = {10.1007/978-3-540-85373-2\_7},
timestamp = {Mon, 03 Jan 2022 22:26:05 +0100},
biburl = {https://dblp.org/rec/conf/ifl/FindlerGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MatthewsF07,
author = {Jacob Matthews and
Robert Bruce Findler},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Operational semantics for multi-language programs},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {3--10},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190220},
doi = {10.1145/1190216.1190220},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/MatthewsF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FindlerF06,
author = {Robert Bruce Findler and
Matthew Flatt},
title = {Slideshow: functional presentations},
journal = {J. Funct. Program.},
volume = {16},
number = {4-5},
pages = {583--619},
year = {2006},
url = {https://doi.org/10.1017/S0956796806006010},
doi = {10.1017/S0956796806006010},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FindlerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Findler06,
author = {Robert Bruce Findler},
title = {Scheme and Functional Programming 2006: paper abstracts},
journal = {{ACM} {SIGPLAN} Notices},
volume = {41},
number = {8},
pages = {6--9},
year = {2006},
url = {https://doi.org/10.1145/1163566.1163568},
doi = {10.1145/1163566.1163568},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Findler06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FlattFF06,
author = {Matthew Flatt and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Naoki Kobayashi},
title = {Scheme with Classes, Mixins, and Traits},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {270--289},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_17},
doi = {10.1007/11924661\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FlattFF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FindlerB06,
author = {Robert Bruce Findler and
Matthias Blume},
editor = {Masami Hagiya and
Philip Wadler},
title = {Contracts as Pairs of Projections},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {226--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_16},
doi = {10.1007/11737414\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/FindlerB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeunierFF06,
author = {Philippe Meunier and
Robert Bruce Findler and
Matthias Felleisen},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Modular set-based analysis from contracts},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {218--231},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111057},
doi = {10.1145/1111037.1111057},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/MeunierFF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MeunierFSW05,
author = {Philippe Meunier and
Robert Bruce Findler and
Paul Steckler and
Mitchell Wand},
title = {Selectors Make Set-Based Analysis Too Hard},
journal = {High. Order Symb. Comput.},
volume = {18},
number = {3-4},
pages = {245--269},
year = {2005},
url = {https://doi.org/10.1007/s10990-005-4876-5},
doi = {10.1007/S10990-005-4876-5},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/MeunierFSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayFF05,
author = {Kathryn E. Gray and
Robert Bruce Findler and
Matthew Flatt},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Fine-grained interoperability through mirrors and contracts},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {231--245},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094830},
doi = {10.1145/1094811.1094830},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrayFF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005fdpe,
editor = {Robby Bruce Findler and
Michael Hanus and
Simon Thompson},
title = {Proceedings of the 2005 workshop on Functional and Declarative Programming
in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25,
2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085114},
doi = {10.1145/1085114},
isbn = {1-59593-067-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2005fdpe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MatthewsFGKF04,
author = {Jacob Matthews and
Robert Bruce Findler and
Paul T. Graunke and
Shriram Krishnamurthi and
Matthias Felleisen},
title = {Automatically Restructuring Programs for the Web},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {4},
pages = {337--364},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000038936.09009.69},
doi = {10.1023/B:AUSE.0000038936.09009.69},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MatthewsFGKF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The TeachScheme! Project: Computing and Programming for Every Student},
journal = {Comput. Sci. Educ.},
volume = {14},
number = {1},
pages = {55--77},
year = {2004},
url = {https://doi.org/10.1076/csed.14.1.55.23499},
doi = {10.1076/CSED.14.1.55.23499},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csedu/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The structure and interpretation of the computer science curriculum},
journal = {J. Funct. Program.},
volume = {14},
number = {4},
pages = {365--378},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005076},
doi = {10.1017/S0956796804005076},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FindlerFF04,
author = {Robert Bruce Findler and
Matthew Flatt and
Matthias Felleisen},
editor = {Martin Odersky},
title = {Semantic Casts: Contracts and Structural Subtyping in a Nominal World},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {364--388},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_17},
doi = {10.1007/978-3-540-24851-4\_17},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FindlerFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FindlerF04,
author = {Robert Bruce Findler and
Matthew Flatt},
editor = {Chris Okasaki and
Kathleen Fisher},
title = {Slideshow: functional presentations},
booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
pages = {224--235},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850.1016880},
doi = {10.1145/1016850.1016880},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FindlerF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GoldbergFF04,
author = {David S. Goldberg and
Robert Bruce Findler and
Matthew Flatt},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Super and inner: together at last!},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {116--129},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028987},
doi = {10.1145/1028976.1028987},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GoldbergFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlattF04,
author = {Matthew Flatt and
Robert Bruce Findler},
editor = {William W. Pugh and
Craig Chambers},
title = {Kill-safe synchronization abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {47--58},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996849},
doi = {10.1145/996841.996849},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlattF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MatthewsFFF04,
author = {Jacob Matthews and
Robert Bruce Findler and
Matthew Flatt and
Matthias Felleisen},
editor = {Vincent van Oostrom},
title = {A Visual Environment for Developing Context-Sensitive Term Rewriting
Systems},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {301--311},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_21},
doi = {10.1007/978-3-540-25979-4\_21},
timestamp = {Mon, 16 Sep 2019 15:32:17 +0200},
biburl = {https://dblp.org/rec/conf/rta/MatthewsFFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GraunkeFKF03,
author = {Paul T. Graunke and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Pierpaolo Degano},
title = {Modeling Web Interactions},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {238--252},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_17},
doi = {10.1007/3-540-36575-3\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GraunkeFKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FindlerCFFKSF02,
author = {Robert Bruce Findler and
John Clements and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Paul Steckler and
Matthias Felleisen},
title = {DrScheme: a programming environment for Scheme},
journal = {J. Funct. Program.},
volume = {12},
number = {2},
pages = {159--182},
year = {2002},
url = {https://doi.org/10.1017/S0956796801004208},
doi = {10.1017/S0956796801004208},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FindlerCFFKSF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FindlerF02,
author = {Robert Bruce Findler and
Matthias Felleisen},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {Contracts for higher-order functions},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {48--59},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581484},
doi = {10.1145/581478.581484},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FindlerF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GraunkeFKF01,
author = {Paul T. Graunke and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
title = {Automatically Restructuring Programs for the We},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {211--222},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989807},
doi = {10.1109/ASE.2001.989807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GraunkeFKF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FindlerF01,
author = {Robert Bruce Findler and
Matthias Felleisen},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Contract Soundness for Object-Oriented Languages},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {1--15},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504283},
doi = {10.1145/504282.504283},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FindlerF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FindlerLF01,
author = {Robert Bruce Findler and
Mario Latendresse and
Matthias Felleisen},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Behavioral contracts and behavioral subtyping},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {229--236},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503240},
doi = {10.1145/503209.503240},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/FindlerLF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattFKF99,
author = {Matthew Flatt and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Programming Languages as Operating Systems (or Revenge of the Son
of the Lisp Machine)},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {138--147},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317793},
doi = {10.1145/317636.317793},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FlattFKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FelleisenFFK98,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The DrScheme Project: An Overview},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {6},
pages = {17--23},
year = {1998},
url = {https://doi.org/10.1145/284563.284566},
doi = {10.1145/284563.284566},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/FelleisenFFK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FindlerF98,
author = {Robert Bruce Findler and
Matthew Flatt},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Modular Object-Oriented Programming with Units and Mixins},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {94--104},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289432},
doi = {10.1145/289423.289432},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FindlerF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FindlerFFKF97,
author = {Robert Bruce Findler and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {DrScheme: {A} Pedagogic Programming Environment for Scheme},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {369--388},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033856},
doi = {10.1007/BFB0033856},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/FindlerFFKF97.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.
last updated on 2024-04-25 01:11 CEST 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:
