National Technical University of Athens / Uppsala University / /
IndustryTerm
soft type systems / output solution / inference algorithm / type inference tools / provided input solution / constraint solving algorithm / partial solution / lint-like tool / large applications / soft typing systems / telecommunications industry / type inferencing algorithm / large software applications / defect detection tool / edoc2 tool / constrained 2A documentation tool / type inference algorithm / input solution / tool / type systems / fault-tolerant software applications / partial solutions / static type systems / possible applications / constraint-based algorithm / /
Organization
Sweden School of Electrical and Computer Engineering / Department of Information Technology / Uppsala University / National Technical University of Athens / /
Position
Documentation General / guard / clause guard / clause head / programmer / /
Product
Dialyzer / 2A documentation tool / 2A / /
ProgrammingLanguage
Prolog / Erlang / /
Technology
5.3 Algorithm / functional programming / constraint-based algorithm / The solution algorithm / constraint solving algorithm / type inferencing algorithm / Inferring Success Typings The algorithm / Information Technology / inference algorithm / solution algorithm / cloning / type inference algorithm / /
Practical Type Inference Based on Success Typings Tobias Lindahl 1