Lackwit

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

Principal type-schemes for functional programs

Robin Milner · 1982 · 1.1K citations

Computing, Computer Science, Compilers +6

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Implementation of the typed call-by-value λ-calculus using a stack of regions

Mads Tofte, Jean-Pierre Talpin · 1994 · 335 citations · Full text

Computing, Computer Science, Compilers +16

LCLint

David Evans, John V. Guttag, James J. Horning et al. · 1994 · 234 citations

Computing, Computer Engineering, Computer Science +11