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.












