Rex L. Page

Rex L. Page, Zoltán Horváth, Viktória Zsók (Eds.): Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6546, Springer 2011, isbn 978-3-642-22940-4

Rex L. Page: Engineering Software Correctness. J. Funct. Program. 17(6): 675-686 (2007)

John T. O'Donnell, Cordelia V. Hall, Rex L. Page: Discrete mathematics using a computer (2. ed.). Springer 2006, isbn 978-1-84628-241-6, pp. I-XIX, 1-441

Dale Vaillancourt, Rex L. Page, Matthias Felleisen: ACL2 in DrScheme. ACL2 2006: 107-116

Rex L. Page: Software is discrete mathematics. SIGPLAN Notices 38(9): 79-86 (2003)

Rex L. Page: Software is discrete mathematics. ICFP 2003: 79-86

Rex L. Page, John Hughes (Eds.): Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002. ACM 2002, isbn 1-58113-592-0

Rex L. Page: Functional Programming, and Where You Can Put It. SIGPLAN Notices 36(9): 19-24 (2001)

Rex L. Page: Procedures and modules in Fortran 90. Computer Standards & Interfaces 18(4): 333-347 (1996)

F. Warren Burton, Rex L. Page: Distributed Random Number Generation. J. Funct. Program. 2(2): 203-212 (1992)

Dale H. Grit, Rex L. Page: Eager evaluation of functional programs and a supporting interconnection structure. ICDCS 1982: 811-816

Dale H. Grit, Rex L. Page: Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System. ACM Trans. Program. Lang. Syst. 3(1): 49-59 (1981)