Robert Muller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–2001
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ICFP | Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 1997 | ICFP | Strongly Typed Flow-Directed Representation Transformations. | Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 1994 | POPL | A Staging Calculus and its Application to the Verification of Translators. | Robert Muller |
| 1993 | OOPSLA | Safe and Decidable Type Checking in an Object-Oriented Language. | Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller |
| 1991 | PEPM | M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). | Robert Muller |