Fritz Henglein

• Polymorphic type inference and semi-unification
• Programming with structures, functions, and objects
• Verification, Model Checking, and Abstract Interpretation