 | 2007 |
|---|
| 8 |       | Rex L. Page:
Engineering Software Correctness.
J. Funct. Program. 17(6): 675-686 (2007) |
| 2006 |
|---|
| 7 | | Dale Vaillancourt,
Rex L. Page,
Matthias Felleisen:
ACL2 in DrScheme.
ACL2 2006: 107-116 |
| 2003 |
|---|
| 6 | | Rex L. Page:
Software is discrete mathematics.
ICFP 2003: 79-86 |
| 2002 |
|---|
| 5 |  | Rex L. Page,
John Hughes:
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002
ACM 2002 |
| 2001 |
|---|
| 4 | | Rex L. Page:
Functional Programming, and Where You Can Put It.
SIGPLAN Notices 36(9): 19-24 (2001) |
| 1992 |
|---|
| 3 | | F. Warren Burton,
Rex L. Page:
Distributed Random Number Generation.
J. Funct. Program. 2(2): 203-212 (1992) |
| 1982 |
|---|
| 2 | | Dale H. Grit,
Rex L. Page:
Eager evaluation of functional programs and a supporting interconnection structure.
ICDCS 1982: 811-816 |
| 1981 |
|---|
| 1 | | 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) |
