default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John H. Reppy
@article{DBLP:journals/pacmpl/QuiringRS22,
author = {Benjamin Quiring and
John H. Reppy and
Olin Shivers},
title = {Analyzing binding extent in 3CPS},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {650--678},
year = {2022},
url = {https://doi.org/10.1145/3547645},
doi = {10.1145/3547645},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/QuiringRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/QuiringRS21,
author = {Benjamin Quiring and
John H. Reppy and
Olin Shivers},
title = {3CPS: The Design of an Environment-Focussed Intermediate Representation},
booktitle = {33rd Symposium on Implementation and Application of Functional Languages,
{IFL} 2021, Nijmegen, The Netherlands, September 1-3, 2021},
pages = {20--28},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3544885.3544889},
doi = {10.1145/3544885.3544889},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/QuiringRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MacQueenHR20,
author = {David MacQueen and
Robert Harper and
John H. Reppy},
title = {The history of Standard {ML}},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{HOPL}},
pages = {86:1--86:100},
year = {2020},
url = {https://doi.org/10.1145/3386336},
doi = {10.1145/3386336},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MacQueenHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/FarvardinR20,
author = {Kavon Farvardin and
John H. Reppy},
editor = {Olaf Chitil},
title = {A New Backend for Standard {ML} of New Jersey},
booktitle = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional
Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
pages = {55--66},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3462172.3462191},
doi = {10.1145/3462172.3462191},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/FarvardinR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarvardinR20,
author = {Kavon Farvardin and
John H. Reppy},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {From folklore to fact: comparing implementations of stacks and continuations},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {75--90},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385994},
doi = {10.1145/3385412.3385994},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FarvardinR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02198,
author = {Kartik Singhal and
John H. Reppy},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Quantum Hoare Type Theory: Extended Abstract},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {291--302},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.15},
doi = {10.4204/EPTCS.340.15},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ReppyW19,
author = {John H. Reppy and
Joe Wingerter},
editor = {Jurri{\"{e}}n Stutterheim and
Wei{-}Ngan Chin},
title = {Shapes and flattening},
booktitle = {{IFL} '19: Implementation and Application of Functional Languages,
Singapore, September 25-27, 2019},
pages = {14:1--14:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3412932.3412946},
doi = {10.1145/3412932.3412946},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/ReppyW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visualization/CollinCSRK19,
author = {Teodoro Collin and
Charisee Chiw and
L. Ridgway Scott and
John H. Reppy and
Gordon L. Kindlmann},
title = {Point Movement in a {DSL} for Higher-Order {FEM} Visualization},
booktitle = {30th {IEEE} Visualization Conference, {IEEE} {VIS} 2019 - Short Papers,
Vancouver, BC, Canada, October 20-25, 2019},
pages = {281--285},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/VISUAL.2019.8933623},
doi = {10.1109/VISUAL.2019.8933623},
timestamp = {Mon, 10 Aug 2020 17:51:01 +0200},
biburl = {https://dblp.org/rec/conf/visualization/CollinCSRK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05668,
author = {Teodoro Collin and
Charisee Chiw and
L. Ridgway Scott and
John H. Reppy and
Gordon L. Kindlmann},
title = {Point Movement in a {DSL} for Higher-Order {FEM} Visualization},
journal = {CoRR},
volume = {abs/1911.05668},
year = {2019},
url = {http://arxiv.org/abs/1911.05668},
eprinttype = {arXiv},
eprint = {1911.05668},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-05668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/KindlmannCHGRB18,
author = {Gordon L. Kindlmann and
Charisee Chiw and
T. Huynh and
Attila Gyulassy and
John H. Reppy and
Peer{-}Timo Bremer},
title = {Rendering and Extracting Extremal Features in 3D Fields},
journal = {Comput. Graph. Forum},
volume = {37},
number = {3},
pages = {525--536},
year = {2018},
url = {https://doi.org/10.1111/cgf.13439},
doi = {10.1111/CGF.13439},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cgf/KindlmannCHGRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06504,
author = {Charisee Chiw and
Gordon L. Kindlmann and
John H. Reppy},
title = {Compiling Diderot: From Tensor Calculus to {C}},
journal = {CoRR},
volume = {abs/1802.06504},
year = {2018},
url = {http://arxiv.org/abs/1802.06504},
eprinttype = {arXiv},
eprint = {1802.06504},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChiwKR17,
author = {Charisee Chiw and
Gordon L. Kindlmann and
John H. Reppy},
title = {DATm: Diderot's Automated Testing Model},
booktitle = {12th {IEEE/ACM} International Workshop on Automation of Software Testing,
AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017},
pages = {45--51},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/AST.2017.5},
doi = {10.1109/AST.2017.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChiwKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiwR17,
author = {Charisee Chiw and
John H. Reppy},
title = {Properties of Normalization for a math based intermediate representation},
journal = {CoRR},
volume = {abs/1705.08801},
year = {2017},
url = {http://arxiv.org/abs/1705.08801},
eprinttype = {arXiv},
eprint = {1705.08801},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiwR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiwKR17,
author = {Charisee Chiw and
Gordon L. Kindlmann and
John H. Reppy},
title = {An exploration to visualize finite element data with a {DSL}},
journal = {CoRR},
volume = {abs/1706.05718},
year = {2017},
url = {http://arxiv.org/abs/1706.05718},
eprinttype = {arXiv},
eprint = {1706.05718},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiwKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/KindlmannCSSR16,
author = {Gordon L. Kindlmann and
Charisee Chiw and
Nicholas Seltzer and
Lamont Samuels and
John H. Reppy},
title = {Diderot: a Domain-Specific Language for Portable Parallel Scientific
Visualization and Image Analysis},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {22},
number = {1},
pages = {867--876},
year = {2016},
url = {https://doi.org/10.1109/TVCG.2015.2467449},
doi = {10.1109/TVCG.2015.2467449},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvcg/KindlmannCSSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-08842,
author = {Kavon Farvardin and
John H. Reppy},
editor = {Kenichi Asai and
Mark R. Shinwell},
title = {Compiling with Continuations and {LLVM}},
booktitle = {Proceedings {ML} Family Workshop / OCaml Users and Developers workshops,
{ML/OCAML} 2016, Nara, Japan, September 22-23, 2016},
series = {{EPTCS}},
volume = {285},
pages = {131--142},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.285.5},
doi = {10.4204/EPTCS.285.5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2016,
editor = {Marco Gavanelli and
John H. Reppy},
title = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2},
doi = {10.1007/978-3-319-28228-2},
isbn = {978-3-319-28227-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
editor = {Kathleen Fisher and
John H. Reppy},
title = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731},
doi = {10.1145/2784731},
isbn = {978-1-4503-3669-7},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BergstromFLRS14,
author = {Lars Bergstrom and
Matthew Fluet and
Matthew Le and
John H. Reppy and
Nora Sandler},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Practical and effective higher-order optimizations},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {81--93},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628153},
doi = {10.1145/2628136.2628153},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BergstromFLRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BergstromFRRRS13,
author = {Lars Bergstrom and
Matthew Fluet and
Mike Rainey and
John H. Reppy and
Stephen Rosen and
Adam Shaw},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {Data-only flattening for nested data parallelism},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {81--92},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442525},
doi = {10.1145/2442516.2442525},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/BergstromFRRRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstromFRS13,
author = {Lars Bergstrom and
Matthew Fluet and
John H. Reppy and
Nora Sandler},
title = {Practical Inlining of Functions with Free Variables},
journal = {CoRR},
volume = {abs/1306.1919},
year = {2013},
url = {http://arxiv.org/abs/1306.1919},
eprinttype = {arXiv},
eprint = {1306.1919},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BergstromFRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BergstromFRRS12,
author = {Lars Bergstrom and
Matthew Fluet and
Mike Rainey and
John H. Reppy and
Adam Shaw},
title = {Lazy tree splitting},
journal = {J. Funct. Program.},
volume = {22},
number = {4-5},
pages = {382--438},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000172},
doi = {10.1017/S0956796812000172},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BergstromFRRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BergstromR12,
author = {Lars Bergstrom and
John H. Reppy},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Nested data-parallelism on the gpu},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {247--258},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364563},
doi = {10.1145/2364527.2364563},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BergstromR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChiwKRSS12,
author = {Charisee Chiw and
Gordon L. Kindlmann and
John H. Reppy and
Lamont Samuels and
Nick Seltzer},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Diderot: a parallel {DSL} for image analysis and visualization},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {111--120},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254079},
doi = {10.1145/2254064.2254079},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ChiwKRSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KrajcevskiR11,
author = {Pavel Krajcevski and
John H. Reppy},
editor = {Ricardo Rocha and
John Launchbury},
title = {A Declarative {API} for Particle Systems},
booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
{PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6539},
pages = {130--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18378-2\_12},
doi = {10.1007/978-3-642-18378-2\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/KrajcevskiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AuhagenBFR11,
author = {Sven Auhagen and
Lars Bergstrom and
Matthew Fluet and
John H. Reppy},
editor = {Jeffrey S. Vetter and
Madanlal Musuvathi and
Xipeng Shen},
title = {Garbage collection for multicore {NUMA} machines},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} workshop on Memory Systems
Performance and Correctness: held in conjunction with {PLDI} '11,
San Jose, CA, USA, June 5, 2011},
pages = {51--57},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988915.1988929},
doi = {10.1145/1988915.1988929},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/AuhagenBFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011damp,
editor = {Manuel Carro and
John H. Reppy},
title = {Proceedings of the {POPL} 2011 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2011, Austin, TX, USA, January 23, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0486-3},
timestamp = {Mon, 14 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/2011damp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Reppy11,
author = {John H. Reppy},
editor = {David A. Padua},
title = {Concurrent {ML}},
booktitle = {Encyclopedia of Parallel Computing},
pages = {371--377},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_47},
doi = {10.1007/978-0-387-09766-4\_47},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Reppy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2554,
author = {Sven Auhagen and
Lars Bergstrom and
Matthew Fluet and
John H. Reppy},
title = {Garbage Collection for Multicore {NUMA} Machines},
journal = {CoRR},
volume = {abs/1105.2554},
year = {2011},
url = {http://arxiv.org/abs/1105.2554},
eprinttype = {arXiv},
eprint = {1105.2554},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FluetRRS08,
author = {Matthew Fluet and
Mike Rainey and
John H. Reppy and
Adam Shaw},
title = {Implicitly threaded parallelism in Manticore},
journal = {J. Funct. Program.},
volume = {20},
number = {5-6},
pages = {537--576},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000201},
doi = {10.1017/S0956796810000201},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FluetRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BergstromRRSF10,
author = {Lars Bergstrom and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Matthew Fluet},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Lazy tree splitting},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {93--104},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863558},
doi = {10.1145/1863543.1863558},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BergstromRRSF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OwensRT09,
author = {Scott Owens and
John H. Reppy and
Aaron Turon},
title = {Regular-expression derivatives re-examined},
journal = {J. Funct. Program.},
volume = {19},
number = {2},
pages = {173--190},
year = {2009},
url = {https://doi.org/10.1017/S0956796808007090},
doi = {10.1017/S0956796808007090},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/OwensRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/FluetBFRRSX09,
author = {Matthew Fluet and
Lars Bergstrom and
Nic Ford and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Yingqi Xiao},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Programming in Manticore, a Heterogenous Parallel Functional Language},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {94--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_4},
doi = {10.1007/978-3-642-17685-2\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/FluetBFRRSX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ReppyRX09,
author = {John H. Reppy and
Claudio V. Russo and
Yingqi Xiao},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Parallel concurrent {ML}},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {257--268},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596588},
doi = {10.1145/1596550.1596588},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ReppyRX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BergstromR09,
author = {Lars Bergstrom and
John H. Reppy},
editor = {Marco T. Moraz{\'{a}}n and
Sven{-}Bodo Scholz},
title = {Arity Raising in Manticore},
booktitle = {Implementation and Application of Functional Languages - 21st International
Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6041},
pages = {90--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16478-1\_6},
doi = {10.1007/978-3-642-16478-1\_6},
timestamp = {Mon, 05 Feb 2024 20:35:40 +0100},
biburl = {https://dblp.org/rec/conf/ifl/BergstromR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FluetRRS08,
author = {Matthew Fluet and
Mike Rainey and
John H. Reppy and
Adam Shaw},
editor = {James Hook and
Peter Thiemann},
title = {Implicitly-threaded parallelism in Manticore},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {119--130},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411224},
doi = {10.1145/1411204.1411224},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FluetRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FluetRR08,
author = {Matthew Fluet and
Mike Rainey and
John H. Reppy},
editor = {James Hook and
Peter Thiemann},
title = {A scheduling framework for general-purpose parallel languages},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {241--252},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411239},
doi = {10.1145/1411204.1411239},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FluetRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/BlumeRR08,
author = {Matthias Blume and
Mike Rainey and
John H. Reppy},
editor = {Eijiro Sumii},
title = {Calling variadic functions from a strongly-typed language},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada,
September 21, 2008},
pages = {47--58},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411304.1411312},
doi = {10.1145/1411304.1411312},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/BlumeRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0019517,
author = {John H. Reppy},
title = {Concurrent programming in {ML}},
publisher = {Cambridge University Press},
year = {2007},
isbn = {978-0-521-71472-3},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0019517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ReppyT07,
author = {John H. Reppy and
Aaron Turon},
editor = {Erik Ernst},
title = {Metaprogramming with Traits},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {373--398},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_18},
doi = {10.1007/978-3-540-73589-2\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ReppyT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/FluetFRRSX07,
author = {Matthew Fluet and
Nic Ford and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Yingqi Xiao},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: the manticore project},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {15--24},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292539},
doi = {10.1145/1292535.1292539},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/FluetFRRSX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FluetRRSX07,
author = {Matthew Fluet and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Yingqi Xiao},
editor = {Neal Glew and
Guy E. Blelloch},
title = {Manticore: a heterogeneous parallel language},
booktitle = {Proceedings of the {POPL} 2007 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2007, Nice, France, January 16, 2007},
pages = {37--44},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1248648.1248656},
doi = {10.1145/1248648.1248656},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FluetRRSX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReppyX07,
author = {John H. Reppy and
Yingqi Xiao},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Specialization of {CML} message-passing primitives},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {315--326},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190264},
doi = {10.1145/1190216.1190264},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ReppyX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ReppyS06,
author = {John H. Reppy and
Chunyan Song},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Application-specific foreign-interface generation},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {49--58},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173714},
doi = {10.1145/1173706.1173714},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/ReppyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Reppy06,
author = {John H. Reppy},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Type-sensitive control-flow analysis},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {74--83},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159888},
doi = {10.1145/1159876.1159888},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Reppy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006,
editor = {John H. Reppy and
Julia Lawall},
title = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803},
doi = {10.1145/1159803},
isbn = {1-59593-309-3},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405084,
author = {Kathleen Fisher and
Riccardo Pucella and
John H. Reppy},
title = {A Framework for Interoperability},
journal = {CoRR},
volume = {cs.PL/0405084},
year = {2004},
url = {http://arxiv.org/abs/cs/0405084},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0405084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FisherR02,
author = {Kathleen Fisher and
John H. Reppy},
title = {Inheritance-Based Subtyping},
journal = {Inf. Comput.},
volume = {177},
number = {1},
pages = {28--55},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3169},
doi = {10.1006/INCO.2002.3169},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FisherR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Reppy02,
author = {John H. Reppy},
title = {Optimizing Nested Loops Using Local {CPS} Conversion},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {2-3},
pages = {161--180},
year = {2002},
url = {https://doi.org/10.1023/A:1020839128338},
doi = {10.1023/A:1020839128338},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Reppy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/YoungLSRPPNMG01,
author = {Cliff Young and
Yagati N. Lakshman and
Tom Szymanski and
John H. Reppy and
David L. Presotto and
Rob Pike and
Girija J. Narlikar and
Sape J. Mullender and
Eric Grosse},
title = {Protium, an Infrastructure for Partitioned Applications},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {47--52},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990060},
doi = {10.1109/HOTOS.2001.990060},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/YoungLSRPPNMG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarlowJMR01,
author = {Simon Marlow and
Simon L. Peyton Jones and
Andrew Moran and
John H. Reppy},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Asynchronous Exceptions in Haskell},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {274--285},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378858},
doi = {10.1145/378795.378858},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MarlowJMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/FisherPR01,
author = {Kathleen Fisher and
Riccardo Pucella and
John H. Reppy},
editor = {Nick Benton and
Andrew Kennedy},
title = {A framework for interoperability},
booktitle = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
pages = {3--19},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80450-5},
doi = {10.1016/S1571-0661(05)80450-5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FisherPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FisherR00,
author = {Kathleen Fisher and
John H. Reppy},
editor = {Elisa Bertino},
title = {Extending Moby with Inheritance-Based Subtyping},
booktitle = {{ECOOP} 2000 - Object-Oriented Programming, 14th European Conference,
Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1850},
pages = {83--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45102-1\_5},
doi = {10.1007/3-540-45102-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FisherR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FisherRR00,
author = {Kathleen Fisher and
John H. Reppy and
Jon G. Riecke},
editor = {Gert Smolka},
title = {A Calculus for Compiling and Linking Classes},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {135--149},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_9},
doi = {10.1007/3-540-46425-5\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/FisherRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hlcl/2000,
editor = {John H. Reppy and
Peter Sewell},
title = {4th International Workshop on High-Level Concurrent Languages, {HLCL}
2000, Satellite to {PLI} 2000, Montreal, Canada, September 20, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {2},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/41/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hlcl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FisherR99,
author = {Kathleen Fisher and
John H. Reppy},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {The Design of a Class Mechanism for Moby},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {37--49},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301638},
doi = {10.1145/301618.301638},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FisherR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/EfremidisMRS97,
author = {S. G. Efremidis and
Khalid Azim Mughal and
John H. Reppy and
L. S{\o}raas},
title = {{AML:} Attribute Grammars in {ML}},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {37--65},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/EfremidisMRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReppyR96,
author = {John H. Reppy and
Jon G. Riecke},
editor = {Charles N. Fischer},
title = {Simple Objects for Standard {ML}},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {171--180},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231412},
doi = {10.1145/231379.231412},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReppyR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RogersCRH95,
author = {Anne Rogers and
Martin C. Carlisle and
John H. Reppy and
Laurie J. Hendren},
title = {Supporting Dynamic Data Structures on Distributed-Memory Machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {2},
pages = {233--263},
year = {1995},
url = {https://doi.org/10.1145/201059.201065},
doi = {10.1145/201059.201065},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RogersCRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GeorgeGR94,
author = {Lal George and
Florent Guillame and
John H. Reppy},
editor = {Peter Fritzson},
title = {A Portable and Optimizing Back End for the {SML/NJ} Compiler},
booktitle = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
UK, April 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {786},
pages = {83--97},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57877-3\_6},
doi = {10.1007/3-540-57877-3\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/GeorgeGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ShaoRA94,
author = {Zhong Shao and
John H. Reppy and
Andrew W. Appel},
editor = {Robert R. Kessler},
title = {Unrolling Lists},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {185--195},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182453},
doi = {10.1145/182409.182453},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/ShaoRA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/Reppy94,
author = {John H. Reppy},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {First-class Synchronous Operations},
booktitle = {Theory and Practice of Parallel Programming, International Workshop
TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {907},
pages = {235--252},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026573},
doi = {10.1007/BFB0026573},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tppp/Reppy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/CarlisleRRH93,
author = {Martin C. Carlisle and
Anne Rogers and
John H. Reppy and
Laurie J. Hendren},
editor = {Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Early Experiences with Olden},
booktitle = {Languages and Compilers for Parallel Computing, 6th International
Workshop, Portland, Oregon, USA, August 12-14, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {768},
pages = {1--20},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57659-2\_1},
doi = {10.1007/3-540-57659-2\_1},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/CarlisleRRH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcmaster/Reppy93,
author = {John H. Reppy},
editor = {Peter E. Lauer},
title = {Concurrent {ML:} Design, Application and Semantics},
booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning:
International Lecture Series 1991-1992, McMaster University, Hamilton,
Ontario, Canada},
series = {Lecture Notes in Computer Science},
volume = {693},
pages = {165--198},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56883-2\_10},
doi = {10.1007/3-540-56883-2\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcmaster/Reppy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Reppy92,
author = {John H. Reppy},
title = {Higher-Order Concurrency},
school = {Cornell University, {USA}},
year = {1992},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Reppy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/RogersRH92,
author = {Anne Rogers and
John H. Reppy and
Laurie J. Hendren},
editor = {Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Supporting {SPMD} Execution for Dynamic Data Structures},
booktitle = {Languages and Compilers for Parallel Computing, 5th International
Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {757},
pages = {192--207},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57502-2\_48},
doi = {10.1007/3-540-57502-2\_48},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/RogersRH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Reppy91,
author = {John H. Reppy},
editor = {David S. Wise},
title = {{CML:} {A} Higher-Order Concurrent Language},
booktitle = {Proceedings of the {ACM} SIGPLAN'91 Conference on Programming Language
Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28,
1991},
pages = {293--305},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/113445.113470},
doi = {10.1145/113445.113470},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Reppy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Reppy88,
author = {John H. Reppy},
editor = {Richard L. Wexelblat},
title = {Synchronous Operations as First-Class Values},
booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
1988},
pages = {250--259},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/53990.54015},
doi = {10.1145/53990.54015},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Reppy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/NorthR87,
author = {Stephen C. North and
John H. Reppy},
editor = {Gilles Kahn},
title = {Concurrent garbage collection on stock hardware},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {113--133},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_8},
doi = {10.1007/3-540-18317-5\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/NorthR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/ReppyG86,
author = {John H. Reppy and
Emden R. Gansner},
editor = {Peter B. Henderson},
title = {A foundation for programming environments},
booktitle = {SESPSDE'86: {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Palo Alto, CA, USA,
December 9-11, 1986},
pages = {218--227},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/24208.24233},
doi = {10.1145/24208.24233},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sde/ReppyG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-07 22:31 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:
