Difference between revisions of "Compiling to categories (Conal Elliott)"

From apm
Jump to: navigation, search
(basic page)
(No difference)

Revision as of 16:59, 13 July 2021

This article is a stub. It needs to be expanded.

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]