Concepedia

Robert Muller

RM

7

Publications

222

Citations

7

H-Index

1992

Active since

Affiliations

Harvard University Press(Current)

Wellesley College

Harvard University

Robert Muller is an author at Harvard University Press specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationLanguageCompilersLinguistics

Publications per year

1992–2002

7

Publications

7

A calculus with polymorphic and polyvariant flow types

J. B. Wells, Allyn Dimock, Robert Muller et al. · Journal of Functional Programming · 2002 · 51 citations · Full text

Engineering, Geometry, Type Theory +18

Safe and decidable type checking in an object-oriented language

Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh et al. · 1993 · 48 citations · Full text

Program Checking, Decidable Type Checking, Engineering +9

Strongly Typed Flow-Directed Representation Transformations.

Allyn Dimock, Robert Muller, Franklyn Turbak et al. · 1997 · 32 citations

Strongly typed flow-directed representation transformations (extended abstract)

Allyn Dimock, Robert Muller, Franklyn Turbak et al. · 1997 · 28 citations

Closure Conversion, Engineering, Data Representations +21

M-LISP: a representation-independent dialect of LISP with reduction semantics

Robert Muller · ACM Transactions on Programming Languages and Systems · 1992 · 26 citations · Full text

Engineering, Well-founded Semantics, Higher-order Logic +21

Rows per page

1–5 of 7