large systems / large software systems / sum-based module systems / extensible systems / functor applications / large software / dependent product / definition site / type-checking algorithm / /
Organization
Defense Advanced Research Projects Agency / National Science Foundation / U.S. Government / Yale University / / /
Position
Vp / head at once / Major / representative / Harper / /
ProgrammingLanguage
Standard ML / XML / Modula-2 / R / C / ML / K / C++ / Modula-3 / /
ProvinceOrState
Connecticut / /
Technology
Functional Programming / XML / type-checking algorithm / Software Evolution using HOT Language Technology / TCP/IP protocol / /