Travelled to:
1 × Japan
1 × The Netherlands
Collaborated with:
∅ R.Glück K.Kakehi
Talks about:
function (2) program (2) accumul (2) comparison (1) transduc (1) techniqu (1) deforest (1) relat (1) tree (1) non (1)
Person: Armin Kühnemann
DBLP: K=uuml=hnemann:Armin
Contributed to:
Wrote 2 papers:
- RTA-2001-KuhnemannGK #cumulative #functional #source code
- Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
- FLOPS-1999-Kuhnemann #comparison #deforestation #functional #source code #transducer
- Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.