Michael Kirkedal Thomsen
External Lecturer
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: Start date
- 2017
Reversible Functional Programming Languages
Thomsen, Michael Kirkedal (Other)
11 Jul 2017Activity: Talk or presentation types › 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
ID: 12085624
Most downloads
-
1130
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report
Published