Rex L. Page

26 papers A 3Misc 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2013 A conf
A more formal approach to "computer science: principles".
SIGCSE
Rex L. Page, Ruben Gamboa
2013 J jnl
Editorial TFP 2009/2010.
High. Order Symb. Comput.
Viktória Zsók, Rex L. Page, Julia Lawall
2012 — conf
How Computers Work: Computational Thinking for Everyone
TFPIE
Rex L. Page, Ruben Gamboa
2012 — ed.
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Trends in Functional Programming
Ricardo Peña, Rex L. Page
2011 — conf
Accurate Programming: Thinking about programs in terms of properties
DSL
Walid Taha, Verónica Gaspes, Rex L. Page
2011 — conf
Property-Based Testing and Verification: A Catalog of Classroom Examples.
IFL
Rex L. Page
2011 — ed.
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Trends in Functional Programming
Rex L. Page, Zoltán Horváth, Viktória Zsók
2008 — conf
Functional programming and theorem proving for undergraduates: a progress report.
FDPE@ICFP
Rex L. Page, Carl Eastlund, Matthias Felleisen
2007 J jnl
Engineering Software Correctness.
J. Funct. Program.
Rex L. Page
2006 — conf
ACL2 in DrScheme.
ACL2
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
2006 — book
Discrete mathematics using a computer (2. ed.).
John T. O'Donnell, Cordelia V. Hall, Rex L. Page
2005 — conf
Engineering software correctness.
FDPE@ICFP
Rex L. Page
2003 A conf
Software is discrete mathematics.
ICFP
Rex L. Page
2002 — ed.
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002
Erlang Workshop
Rex L. Page, John Hughes
2001 J jnl
Functional Programming, and Where You Can Put It.
ACM SIGPLAN Notices
Rex L. Page
1996 J jnl
High-Performance Functional Computing: Guest Editor's Introduction.
Sci. Program.
Rex L. Page, R. R. Oldehoeft
1996 J jnl
Procedures and modules in Fortran 90.
Comput. Stand. Interfaces
Rex L. Page
1993 — conf
Experience with a Large Scientific Application in a Functional Language.
FPCA
Rex L. Page, Brian D. Moe
1992 J jnl
Distributed Random Number Generation.
J. Funct. Program.
F. Warren Burton, Rex L. Page
1982 A conf
Eager evaluation of functional programs and a supporting interconnection structure.
ICDCS
Dale H. Grit, Rex L. Page
1981 J jnl
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System.
ACM Trans. Program. Lang. Syst.
Dale H. Grit, Rex L. Page
1981 — conf
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs.
FPCA
Rex L. Page, M. G. Conant, Dale H. Grit
1980 Misc conf
Performance of a multiprocessor for Applicative programs.
Performance
Dale H. Grit, Rex L. Page
1974 J jnl
A Minimal Spanning Tree clustering Method [Z] (Algorithm 479).
Commun. ACM
Rex L. Page
1974 J jnl
Correspondence from the members.
ACM SIGPLAN Notices
Axel T. Schreiner, K. A. Redish, Richard Alan Karp, Rex L. Page, Richard J. Cichelli
1974 J jnl
Generation of Random Correlated Normal Variables (Remark on Algorithm 425).
Commun. ACM
Rex L. Page