BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
ALP-1990-ZhouM
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.