Philip Windley

• The formal verification of generic interpreters