default search action
BibTeX 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.