Travelled to:
1 × Canada
1 × Germany
1 × South Africa
1 × Spain
1 × USA
Collaborated with:
W.Dosch P.Höfner R.Khédri ∅
Talks about:
algebra (3) function (2) driven (2) lazi (2) busi (2) reconcili (1) languag (1) infinit (1) semant (1) search (1)
Person: Bernhard Möller
DBLP: M=ouml=ller:Bernhard
Contributed to:
Wrote 5 papers:
- SEFM-2008-HofnerKM #algebra
- Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.
- FM-2006-HofnerKM #algebra
- Feature Algebra (PH, RK, BM), pp. 300–315.
- IFL-1996-DoschM #functional
- Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
- LFP-1984-DoschM #infinity #lazy evaluation
- Busy and Lazy FP with Infinite Objects (WD, BM), pp. 282–292.
- ICALP-1983-Moller #algebra #data-driven #evaluation #functional #lazy evaluation #semantics
- An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language (BM), pp. 513–526.