Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
1 - 2 out of 2Page size: 10
Sort by: Type
- Lecture and oral contribution
Programming in Reversible Computing and its application to speculative execution
Thomsen, Michael Kirkedal (Other)
11 May 2017Activity: Talk or presentation types › Lecture and oral contribution
Reversible Functional Programming Languages
Thomsen, Michael Kirkedal (Other)
11 Jul 2017Activity: Talk or presentation types › Lecture and oral contribution
ID: 12085624
Most downloads
-
1153
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published