stand-alone applications / type inference algorithm / type systems / augmented type systems / /
OperatingSystem
Sequent / /
Organization
Linköping University / Laboratory for Programming Environments H1 T1 / Department of Computer and Information Science / Laboratory for Programming Environments / /
Person
Peter Fritzson / /
Position
compiled interpreter for the same language / compiled interpreter / functional evaluator / interpreter / /
ProgrammingLanguage
R / Standard ML / Prolog / T / /
ProvinceOrState
Nova Scotia / /
Technology
functional programming / type inference algorithm / /