Travelled to:
1 × Italy
Collaborated with:
P.Tarau
Talks about:
comput (2) framework (1) binari (1) type (1) tree (1)
Person: David Haraburda
DBLP: Haraburda:David
Contributed to:
Wrote 2 papers:
- SAC-2012-TarauH #on the
- On computing with types (PT, DH), pp. 1889–1896.
- SAC-PL-J-2012-HaraburdaT13 #framework
- Binary trees as a computational framework (DH, PT), pp. 163–181.