Selected Publications

• Engineering software correctness, Journal of Functional Programming 17, 6 (Nov 2007) 675-686
• ACL2 in DrScheme, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, Seattle Washington (Aug 15-16, 2006) (with Dale Vaillancourt and Matthias Felleisen) 107-116
• Software is discrete mathematics, Proceedings of the Eighth International Conference on Functional Programming, Uppsala, Sweden (August 25-27, 2003) 79-86
• Functional Programming ... and where you can put it, ACM SIGPLAN Notices 36, 9 (September 2001) 19-24
• Rex L Page and Brian D Moe, Experience with a large scientific application in a functional language, Conference on Functional Programming Languages and Computer Architecture, Copenhagen (June 1993) ACM Press, 3-11
• F Warren Burton and Rex L Page, Distributed random number generation, Journal of Functional Programming 2,2,  (April 1992) 203-212

Back to Rex Page's home page