Rex L. Page

Publication Activity (10 Years)

Years Active: 1974-2013
Publications (10 Years): 0

Top Topics

Mining Algorithm

Computational Thinking

Computer Scientists

Formal Representation

Top Venues

High. Order Symb. Comput.

Publications

Rex L. Page, Ruben Gamboa
A more formal approach to "computer science: principles". SIGCSE (2013)
Viktória Zsók, Rex L. Page, Julia Lawall
Editorial TFP 2009/2010. High. Order Symb. Comput. 26 (1-4) (2013)
Rex L. Page, Ruben Gamboa
How Computers Work: Computational Thinking for Everyone TFPIE (2012)
Rex L. Page
Property-Based Testing and Verification: A Catalog of Classroom Examples. IFL (2011)
Walid Taha, Verónica Gaspes, Rex L. Page
Accurate Programming: Thinking about programs in terms of properties DSL (2011)
Rex L. Page, Carl Eastlund, Matthias Felleisen
Functional programming and theorem proving for undergraduates: a progress report. FDPE@ICFP (2008)
Rex L. Page
Engineering Software Correctness. J. Funct. Program. 17 (6) (2007)
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2 in DrScheme. ACL2 (2006)
Rex L. Page
Engineering software correctness. FDPE@ICFP (2005)
Rex L. Page
Software is discrete mathematics. ICFP (2003)
Rex L. Page
Software is discrete mathematics. SIGPLAN Notices (2003)
Rex L. Page
Functional Programming, and Where You Can Put It. ACM SIGPLAN Notices 36 (9) (2001)
Rex L. Page, R. R. Oldehoeft
High-Performance Functional Computing: Guest Editor's Introduction. Sci. Program. 5 (2) (1996)
Rex L. Page
Procedures and modules in Fortran 90. Comput. Stand. Interfaces 18 (4) (1996)
Rex L. Page, Brian D. Moe
Experience with a Large Scientific Application in a Functional Language. FPCA (1993)
F. Warren Burton, Rex L. Page
Distributed Random Number Generation. J. Funct. Program. 2 (2) (1992)
Dale H. Grit, Rex L. Page
Eager evaluation of functional programs and a supporting interconnection structure. ICDCS (1982)
Dale H. Grit, Rex L. Page
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System. ACM Trans. Program. Lang. Syst. 3 (1) (1981)
Rex L. Page, M. G. Conant, Dale H. Grit
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs. FPCA (1981)
Dale H. Grit, Rex L. Page
Performance of a multiprocessor for Applicative programs. Performance (1980)
Axel T. Schreiner, K. A. Redish, Richard Alan Karp, Rex L. Page, Richard J. Cichelli
Correspondence from the members. ACM SIGPLAN Notices 9 (10) (1974)
Rex L. Page
Generation of Random Correlated Normal Variables (Remark on Algorithm 425). Commun. ACM 17 (6) (1974)
Rex L. Page
A Minimal Spanning Tree clustering Method [Z] (Algorithm 479). Commun. ACM 17 (6) (1974)