Homomorphic static analysis

The Mondrian introduction to functional optics