Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
function (1) optimis (1) languag (1) describ (1) revers (1) logic (1) use (1)
Person: Michael Kirkedal Thomsen
DBLP: Thomsen:Michael_Kirkedal
Contributed to:
Wrote 1 papers:
- IFL-2011-Thomsen #functional #logic #optimisation #using
- Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.