Visual Studio / Implicitly Typed Functional Languages Takumi Goto Isao Sasano Shibaura Institute of Technology Tokyo / /
IndustryTerm
naive preliminary solution / partial type inference algorithm / large software / preliminary naive solution / preliminary solution / completion algorithm / Systematic search / function applications / otherwise function applications / incremental algorithm / search keys / usual prefix function applications / web site http /
OperatingSystem
Windows 7 / GNU / /
Organization
MIT / Implicitly Typed Functional Languages Takumi Goto Isao Sasano Shibaura Institute of Technology Tokyo / IEEE Computer Society / /
Person
Dan Grossman / John A. Robinson / Mikael Rittri / Robert Harper / Michele Lanza / Ian Toyn / Colin Runciman / Christian Haack / Craig Chambers / Masatomo Hashimoto / Robin Milner / Benjamin Lerner / Susumu Katayama / Mads Tofte / Matthew Flower / Roberto Di Cosmo / Romain Robbes / David MacQueen / J. B. Wells / Andrew Wright / Isao Sasano / /
Position
General / author / writer / Major / programmer / /
Product
S1 / S3 / S2 / /
ProgrammingLanguage
Java / FP / Emacs Lisp / Haskell / Standard ML / DC / ML / C++ / /
ProvinceOrState
New York / /
PublishedMedium
Journal of the ACM / Lecture Notes in Computer Science / /
Technology
functional programming / unification algorithm / completion algorithm / The algorithm / type inference algorithm / html / cmp / Java / W. The algorithm / modified type inference algorithm / caching / dom / partial type inference algorithm / incremental algorithm / /
An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano