Michael Kirkedal Thomsen
External Lecturer
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
Keywords
- Faculty of Science - Reversible Computation, Domain-specific languages, Program transformation, Program analysis, Computer architecture, Semantics
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