run-time systems / link-reversal algorithm / type systems / linkreversal algorithms / static type systems / conventional linear type systems / traversal algorithms / Linear type systems / tail-recursive algorithms / /
Organization
National Science Foundation / Cornell University / /
Person
David Walker / Greg Morrisett / /
Position
garbage collector / programmer / /
ProgrammingLanguage
Haskell / R / Assembly Language / C / ML / Java / C++ / L / /