Rex L. Page

According to our database, Rex L. Page authored at least 22 papers between 1974 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Editorial TFP 2009/2010.

Viktória Zsók, Rex L. Page, Julia Lawall

High. Order Symb. Comput., 2013

A more formal approach to "computer science: principles".

Rex L. Page, Ruben Gamboa

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012

How Computers Work: Computational Thinking for Everyone

Rex L. Page, Ruben Gamboa

Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

2011

Accurate Programming: Thinking about programs in terms of properties

Walid Taha, Verónica Gaspes, Rex L. Page

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Property-Based Testing and Verification: A Catalog of Classroom Examples.

Rex L. Page

Proceedings of the Implementation and Application of Functional Languages, 2011

2008

Functional programming and theorem proving for undergraduates: a progress report.

Rex L. Page, Carl Eastlund, Matthias Felleisen

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2007

Engineering Software Correctness.

Rex L. Page

J. Funct. Program., 2007

2006

ACL2 in DrScheme.

Dale Vaillancourt, Rex L. Page, Matthias Felleisen

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Discrete mathematics using a computer (2. ed.).

John T. O'Donnell, Cordelia V. Hall, Rex L. Page

Springer, ISBN: 978-1-84628-241-6, 2006

2003

Software is discrete mathematics.

Rex L. Page

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2001

Functional Programming, and Where You Can Put It.

Rex L. Page

ACM SIGPLAN Notices, 2001

1996

High-Performance Functional Computing: Guest Editor's Introduction.

Rex L. Page, R. R. Oldehoeft

Sci. Program., 1996

Procedures and modules in Fortran 90.

Rex L. Page

Comput. Stand. Interfaces, 1996

1993

Experience with a Large Scientific Application in a Functional Language.

Rex L. Page, Brian D. Moe

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

Distributed Random Number Generation.

F. Warren Burton, Rex L. Page

J. Funct. Program., 1992

1982

Eager evaluation of functional programs and a supporting interconnection structure.

Dale H. Grit, Rex L. Page

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System.

Dale H. Grit, Rex L. Page

ACM Trans. Program. Lang. Syst., 1981

If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs.

Rex L. Page, M. G. Conant, Dale H. Grit

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Performance of a multiprocessor for Applicative programs.

Dale H. Grit, Rex L. Page

Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

1974

Correspondence from the members.

Axel T. Schreiner, K. A. Redish, Richard Alan Karp, Rex L. Page, Richard J. Cichelli

ACM SIGPLAN Notices, 1974

Generation of Random Correlated Normal Variables (Remark on Algorithm 425).

Rex L. Page

Commun. ACM, 1974

A Minimal Spanning Tree clustering Method [Z] (Algorithm 479).

Rex L. Page

Commun. ACM, 1974