Typed Calculi for Problems in Higher-Order Programming Languages
Heriot-Watt Investigator: Joe Wells
Boston Investigator: Assaf Kfoury
John Hopkins Investigator: Scott Smith
Maintained by Fairouz Kamareddine
