Back to Results
First PageMeta Content
Primitive types / Pointer / Type safety / Reference / Aliasing / Linked list / Stack / Software engineering / Data types / Computing


Alias Types for Recursive Data Structures ∗ (Extended Version) David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or
Add to Reading List

Document Date: 2000-03-08 17:34:40

Open Document

File Size: 278,66 KB

Share Result on Facebook

Facility

Store Polymorphism Any / /

IndustryTerm

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 / /

Technology

alpha / functional programming / 4.2 Deutsch-Schorr-Waite Algorithms / Dom / traversal algorithms / link-reversal algorithm / Java / Deutsch-Schorr-Waite algorithms / properly tail-recursive algorithms / /

SocialTag