Difference between revisions of "Compiling to categories (Conal Elliott)"
From apm
(basic page) |
(No difference)
|
Revision as of 16:59, 13 July 2021
Generalizing over lambda calculus
- allowing for various different interpretations of the exact same code
- allowing to compile the exact same code to various very different compilation targets.
One concrete example especially relevant for the main topic
of this wikis (atomically precise manufacturing) is:
Compilation of the same 3D models to a representation that is suitable for:
- (1) visualization interfaces
- (2) production devices
Related
External links
Central page linking to all relevant material:
- Direct link to presentation video (2018-01-16) [1]