Type-based hot swapping of running modules

Making the future safe for the past

Gilad Bracha, Martin Odersky, David Stoutamire et al. · 1998 · 503 citations · Full text

Computing, Computer Science, Compilers +16

Distributed programming in Argus

Barbara Liskov · Communications of the ACM · 1988 · 473 citations · Full text

Computing, Computer Science, Computer Systems +12

Dynamic class loading in the Java virtual machine

Gilad Bracha · 1998 · 385 citations · Full text

Computing, Computer Science, Containerization +9

Views: a way for pattern matching to cohabit with data abstraction

Philip Wadler · 1987 · 320 citations

Computing, Computer Science, Design +17

Compiling polymorphism using intensional type analysis

Robert Harper, Greg Morrisett · 1995 · 298 citations · Full text

Computing, Computer Science, Compilers +15