Rex L. Page
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1980–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SIGCSE | A more formal approach to "computer science: principles". | Rex L. Page, Ruben Gamboa |
| 2008 | ICFP | Functional programming and theorem proving for undergraduates: a progress report. | Rex L. Page, Carl Eastlund, Matthias Felleisen |
| 2005 | ICFP | Engineering software correctness. | Rex L. Page |
| 2003 | ICFP | Software is discrete mathematics. | Rex L. Page |
| 1982 | ICDCS | Eager evaluation of functional programs and a supporting interconnection structure. | Dale H. Grit, Rex L. Page |
| 1980 | SIGMETRICS | Performance of a multiprocessor for Applicative programs. | Dale H. Grit, Rex L. Page |