Information Science University of Pennsylvania / Computer Science Princeton University / /
IndustryTerm
security applications / inference algorithm / unification algorithm / type inference algorithm / security systems / type systems / type inference systems / external software / stack-inspection-like security infrastructure / /
Organization
University of Pennsylvania / Princeton University / Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn David Walker Stephanie Weirich Department of Computer / /
Person
Generalized Algebraic Datatypes / Daniel S. Dantas Geoffrey Washburn David / /
Position
author / Walker / representative / calculus and related systems General / head / interpreter / programmer / /
Product
PolyAML / /
ProgrammingLanguage
Lambda calculus / Standard ML of New Jersey / AspectJ / ML / /
ProvinceOrState
New Jersey / /
Technology
Functional Programming / conventional Hindley-Milner type inference algorithm / unification algorithm / inference algorithm / Hindley-Milner type inference algorithm / dom / type inference algorithm / /