BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=uuml=ller:Robert

Contributed to:

VLDB 20142014
ICFP 20012001
ICFP 19971997
POPL 19941994
OOPSLA 19931993
LFP 19921992
PEPM 19911991
ALP 19901990

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.
Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.