• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2013
• 
  Viktória Zsók, Rex L. Page, Julia Lawall:
  Editorial TFP 2009/2010. High. Order Symb. Comput. 26(1-4): 1-2 (2013)
• 
  Rex L. Page, Ruben Gamboa:
  A more formal approach to "computer science: principles". SIGCSE 2013: 257-262
• 2012
• 
  Rex L. Page, Ruben Gamboa:
  How Computers Work: Computational Thinking for Everyone. TFPIE 2012: 1-19
• 
  Ricardo Peña, Rex L. Page:
  Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7193, Springer 2012, ISBN 978-3-642-32036-1 [contents]
• 2011
• 
  Rex L. Page:
  Property-Based Testing and Verification: A Catalog of Classroom Examples. IFL 2011: 134-147
• 
  Walid Taha, Verónica Gaspes, Rex L. Page:
  Accurate Programming: Thinking about programs in terms of properties. DSL 2011: 236-260
• 
  Rex L. Page, Zoltán Horváth, Viktória Zsók:
  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 [contents]
• 2008
• 
  Rex L. Page, Carl Eastlund, Matthias Felleisen:
  Functional programming and theorem proving for undergraduates: a progress report. FDPE@ICFP 2008: 21-30
• 2007
• 
  Rex L. Page:
  Engineering Software Correctness. J. Funct. Program. 17(6): 675-686 (2007)
• 2006
• 
  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
• 2005
• 
  Rex L. Page:
  Engineering software correctness. FDPE@ICFP 2005: 39-46
• 2003
• 
  Rex L. Page:
  Software is discrete mathematics. ICFP 2003: 79-86
• 2002
• 
  Rex L. Page, John Hughes:
  Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002. ACM 2002, ISBN 1-58113-592-0 [contents]
• 2001
• 
  Rex L. Page:
  Functional Programming, and Where You Can Put It. ACM SIGPLAN Notices 36(9): 19-24 (2001)
• 1996
• 
  Rex L. Page:
  Procedures and modules in Fortran 90. Comput. Stand. Interfaces 18(4): 333-347 (1996)
• 
  Rex L. Page, R. R. Oldehoeft:
  High-Performance Functional Computing: Guest Editor's Introduction. Sci. Program. 5(2): 93-95 (1996)
• 1993
• 
  Rex L. Page, Brian D. Moe:
  Experience with a Large Scientific Application in a Functional Language. FPCA 1993: 3-11
• 1992
• 
  F. Warren Burton, Rex L. Page:
  Distributed Random Number Generation. J. Funct. Program. 2(2): 203-212 (1992)
• 1982
• 
  Dale H. Grit, Rex L. Page:
  Eager evaluation of functional programs and a supporting interconnection structure. ICDCS 1982: 811-816
• 1981
• 
  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)
• 
  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: 179-186
• 1980
• 
  Dale H. Grit, Rex L. Page:
  Performance of a multiprocessor for Applicative programs. Performance 1980: 181-189
• 1974
• 
  Rex L. Page:
  A Minimal Spanning Tree clustering Method [Z] (Algorithm 479). Commun. ACM 17(6): 321-323 (1974)
• 
  Rex L. Page:
  Generation of Random Correlated Normal Variables (Remark on Algorithm 425). Commun. ACM 17(6): 325 (1974)
• 
  Axel T. Schreiner, K. A. Redish, Richard Alan Karp, Rex L. Page, Richard J. Cichelli:
  Correspondence from the members. ACM SIGPLAN Notices 9(10): 2-8 (1974)