Atsushi Igarashi Kyoto Univ. A Featherweight Approach to FOOL What I Have Been Working On Type theory and its applications: Static program analysis based on type inference Behavioral types for concurrent programs Multi-stage programming Type systems based on modal logic Object-oriented programming What is FOOL? “Foundations of Object-Oriented Languages” Semantics Type Theory Verification techniqu