Archived tweet #11217 from the @leastfixedpoint Twitter ArchiveThere's a nice, standard presentation of the progression from C -> CC -> CK -> CEK -> CESK machines; is there anything similar for a regular transformation from e.g. CEK or CESK to a bytecode machine?
