Towards a Module System for K


Date
Jun 13, 2008 — Jun 16, 2008
Event
19th International Workshop Recent Trends in Algebraic Development Techniques (WADT 2008)
Location
Pisa, Italy
Mark Hills
Mark Hills
Associate Professor

My research interests include programming languages, program analysis, and software engineering.