default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rex L. Page
@article{DBLP:journals/lisp/ZsokPL13,
author = {Vikt{\'{o}}ria Zs{\'{o}}k and
Rex L. Page and
Julia Lawall},
title = {Editorial {TFP} 2009/2010},
journal = {High. Order Symb. Comput.},
volume = {26},
number = {1-4},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1007/s10990-014-9102-x},
doi = {10.1007/S10990-014-9102-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/ZsokPL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PageG13,
author = {Rex L. Page and
Ruben Gamboa},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {A more formal approach to "computer science: principles"},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {257--262},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445274},
doi = {10.1145/2445196.2445274},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PageG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5074,
author = {Rex L. Page and
Ruben Gamboa},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {How Computers Work: Computational Thinking for Everyone},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {1--19},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.1},
doi = {10.4204/EPTCS.106.1},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2011,
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32037-8},
doi = {10.1007/978-3-642-32037-8},
isbn = {978-3-642-32036-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Page11,
author = {Rex L. Page},
editor = {Andy Gill and
Jurriaan Hage},
title = {Property-Based Testing and Verification: {A} Catalog of Classroom
Examples},
booktitle = {Implementation and Application of Functional Languages - 23rd International
Symposium, {IFL} 2011, Lawrence, KS, USA, October 3-5, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7257},
pages = {134--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34407-7\_9},
doi = {10.1007/978-3-642-34407-7\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Page11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0786,
author = {Walid Taha and
Ver{\'{o}}nica Gaspes and
Rex L. Page},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Accurate Programming: Thinking about programs in terms of properties},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {236--260},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.13},
doi = {10.4204/EPTCS.66.13},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2010,
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22941-1},
doi = {10.1007/978-3-642-22941-1},
isbn = {978-3-642-22940-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PageEF08,
author = {Rex L. Page and
Carl Eastlund and
Matthias Felleisen},
editor = {Frank Huch and
Adam Parkin},
title = {Functional programming and theorem proving for undergraduates: a progress
report},
booktitle = {Proceedings of the 2008 international workshop on Functional and declarative
programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September
20 - 28, 2008},
pages = {21--30},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411260.1411264},
doi = {10.1145/1411260.1411264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/PageEF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Page07,
author = {Rex L. Page},
title = {Engineering Software Correctness},
journal = {J. Funct. Program.},
volume = {17},
number = {6},
pages = {675--686},
year = {2007},
url = {https://doi.org/10.1017/S095679680700634X},
doi = {10.1017/S095679680700634X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Page07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0016859,
author = {John T. O'Donnell and
Cordelia V. Hall and
Rex L. Page},
title = {Discrete mathematics using a computer {(2.} ed.)},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/1-84628-598-4},
doi = {10.1007/1-84628-598-4},
isbn = {978-1-84628-241-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0016859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/VaillancourtPF06,
author = {Dale Vaillancourt and
Rex L. Page and
Matthias Felleisen},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {{ACL2} in DrScheme},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {107--116},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217999},
doi = {10.1145/1217975.1217999},
timestamp = {Tue, 23 Jun 2020 17:42:40 +0200},
biburl = {https://dblp.org/rec/conf/acl2/VaillancourtPF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Page05,
author = {Rex L. Page},
editor = {Robby Bruce Findler and
Michael Hanus and
Simon Thompson},
title = {Engineering software correctness},
booktitle = {Proceedings of the 2005 workshop on Functional and Declarative Programming
in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25,
2005},
pages = {39--46},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085114.1085123},
doi = {10.1145/1085114.1085123},
timestamp = {Tue, 15 Feb 2022 16:44:09 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Page05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Page03,
author = {Rex L. Page},
editor = {Colin Runciman and
Olin Shivers},
title = {Software is discrete mathematics},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {79--86},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944713},
doi = {10.1145/944705.944713},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Page03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2002,
editor = {Rex L. Page and
John Hughes},
title = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Erlang, Pittsburgh,
Pennsylvania, USA, October 7, 2002},
publisher = {{ACM}},
year = {2002},
isbn = {1-58113-592-0},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Page01,
author = {Rex L. Page},
title = {Functional Programming, and Where You Can Put It},
journal = {{ACM} {SIGPLAN} Notices},
volume = {36},
number = {9},
pages = {19--24},
year = {2001},
url = {https://doi.org/10.1145/609769.609771},
doi = {10.1145/609769.609771},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Page01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/Page96,
author = {Rex L. Page},
title = {Procedures and modules in Fortran 90},
journal = {Comput. Stand. Interfaces},
volume = {18},
number = {4},
pages = {333--347},
year = {1996},
url = {https://doi.org/10.1016/0920-5489(96)01011-2},
doi = {10.1016/0920-5489(96)01011-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/Page96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/PageO96,
author = {Rex L. Page and
R. R. Oldehoeft},
title = {High-Performance Functional Computing: Guest Editor's Introduction},
journal = {Sci. Program.},
volume = {5},
number = {2},
pages = {93--95},
year = {1996},
url = {https://doi.org/10.1155/1996/513287},
doi = {10.1155/1996/513287},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/PageO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PageM93,
author = {Rex L. Page and
Brian D. Moe},
editor = {John Williams},
title = {Experience with a Large Scientific Application in a Functional Language},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {3--11},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165183},
doi = {10.1145/165180.165183},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PageM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BurtonP92,
author = {F. Warren Burton and
Rex L. Page},
title = {Distributed Random Number Generation},
journal = {J. Funct. Program.},
volume = {2},
number = {2},
pages = {203--212},
year = {1992},
url = {https://doi.org/10.1017/S0956796800000320},
doi = {10.1017/S0956796800000320},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BurtonP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GritP82,
author = {Dale H. Grit and
Rex L. Page},
title = {Eager evaluation of functional programs and a supporting interconnection
structure},
booktitle = {Proceedings of the 3rd International Conference on Distributed Computing
Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
pages = {811--816},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Wed, 21 Sep 2005 15:11:36 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/GritP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GritP81,
author = {Dale H. Grit and
Rex L. Page},
title = {Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor
System},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {3},
number = {1},
pages = {49--59},
year = {1981},
url = {https://doi.org/10.1145/357121.357125},
doi = {10.1145/357121.357125},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GritP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PageCG81,
author = {Rex L. Page and
M. G. Conant and
Dale H. Grit},
editor = {Arvind and
Jack B. Dennis},
title = {If-then-else as a concurrency inhibitor in eager beaver evaluation
of recursive programs},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {179--186},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806777},
doi = {10.1145/800223.806777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PageCG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigmetrics/GritP80,
author = {Dale H. Grit and
Rex L. Page},
editor = {Kenneth C. Sevcik and
G. Scott Graham and
Gary J. Nutt},
title = {Performance of a multiprocessor for Applicative programs},
booktitle = {Proceedings of the 1980 International Symposium on Computer Performance
Modelling, Measurement and Evaluation, {PERFORMANCE} 1980, Toronto,
Ontario, Canada, May 28-30, 1980},
pages = {181--189},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800199.806162},
doi = {10.1145/800199.806162},
timestamp = {Fri, 06 Aug 2021 16:47:37 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/GritP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Page74,
author = {Rex L. Page},
title = {A Minimal Spanning Tree clustering Method {[Z]} (Algorithm 479)},
journal = {Commun. {ACM}},
volume = {17},
number = {6},
pages = {321--323},
year = {1974},
url = {https://doi.org/10.1145/355616.355617},
doi = {10.1145/355616.355617},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Page74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Page74a,
author = {Rex L. Page},
title = {Generation of Random Correlated Normal Variables (Remark on Algorithm
425)},
journal = {Commun. {ACM}},
volume = {17},
number = {6},
pages = {325},
year = {1974},
url = {https://doi.org/10.1145/355616.364029},
doi = {10.1145/355616.364029},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Page74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SchreinerRKPC74,
author = {Axel T. Schreiner and
K. A. Redish and
Richard Alan Karp and
Rex L. Page and
Richard J. Cichelli},
title = {Correspondence from the members},
journal = {{ACM} {SIGPLAN} Notices},
volume = {9},
number = {10},
pages = {2--8},
year = {1974},
url = {https://doi.org/10.1145/953343.1737964},
doi = {10.1145/953343.1737964},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/SchreinerRKPC74.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-04-24 23:00 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:
