In the theory of programming languages, duality is increasingly recognized as being important for improving economy, offering the theoretical development for one of two dual concepts "for free". Two prevalent dualities ...