`Travelled to:`

1 × France

1 × Italy

1 × The Netherlands

4 × USA

`Collaborated with:`

∅ Y.Zhou A.Dimock F.A.Turbak J.B.Wells A.Petermann M.Junghanns E.Rahm I.Westmacott K.B.Bruce J.Crabtree T.P.Murtagh R.v.Gent

`Talks about:`

function (3) type (3) represent (2) safe (2) powerdomain (1) nonmonoton (1) transform (1) interpret (1) translat (1) standard (1)

## Person: Robert Müller

### DBLP: M=uuml=ller:Robert

### Contributed to:

### Wrote 8 papers:

- VLDB-2014-PetermannJMR #graph #integration
- Graph-based Data Integration and Business Intelligence with BIIIG (AP, MJ, RM, ER), pp. 1577–1580.
- ICFP-2001-DimockWMTW #ml #standard #type safety
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
- ICFP-1997-DimockMTW #representation
- Strongly Typed Flow-Directed Representation Transformations (AD, RM, FAT, JBW), pp. 11–24.
- POPL-1994-Muller #calculus #staging #verification
- A Staging Calculus and its Application to the Verification of Translators (RM), pp. 389–396.
- OOPSLA-1993-BruceCMGDM #decidability #object-oriented #type checking
- Safe and Decidable Type Checking in an Object-Oriented Language (KBB, JC, TPM, RvG, AD, RM), pp. 29–46.
- LFP-1992-MullerZ #abstract interpretation
- Abstract Interpretation in Weak Powerdomains (RM, YZ), pp. 119–126.
- PEPM-1991-Muller #equation #logic #named #semantics
- M-LISP: Its Natural Semantics and Equational Logic (RM), pp. 234–242.
- ALP-1990-ZhouM
- Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.