Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:T.Mossakowski K.Lüttich K.Didrich W.Grieskamp P.Pepper
Talks about:heterogen (1) function (1) program (1) languag (1) algebra (1) tool (1) opal (1) larg (1) set (1) het (1)
Person: Christian Maeder
DBLP: Maeder:Christian
Contributed to:
2007
1997Wrote 2 papers:
- TACAS-2007-MossakowskiML #set
- The Heterogeneous Tool Set, Hets (TM, CM, KL), pp. 519–522.
- IFL-1997-DidrichGMP #algebra #in the large #programming
- Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.