Travelled to:
1 × Italy
Collaborated with:
B.Braßel M.Hanus F.Reck
Talks about:
constraint (1) implement (1) function (1) languag (1) equat (1)
Person: Björn Peemöller
DBLP: Peem=ouml=ller:Bj=ouml=rn
Contributed to:
Wrote 1 papers:
- PADL-2013-BrasselHPR #constraints #equation #functional #implementation
- Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.