Person: Michael Kucera
DBLP: Kucera:Michael
Contributed to:
Wrote 2 papers:
- PEPM-2007-CaretteK #partial evaluation
- Partial evaluation of Maple (JC, MK), pp. 41–50.
- PEPM-J-2007-CaretteK11a #partial evaluation
- Partial evaluation of Maple (JC, MK), pp. 469–491.