Julia: A Fast Dynamic Language for Technical Computing

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

P. Cousot and R. Cousot · 1977

Earlier work this paper cites.

A theory of type polymorphism in programming

Robin and Milner · 1978

Earlier work this paper cites.

Basic linear algebra subprograms for fortran usage

C. L. Lawson, R. J. Hanson, D. R. Kincaid, and F. T. Krogh · 1979

Earlier work this paper cites.

A scheme for the automatic inference of variable types

M. A. Kaplan and J. D. Ullman · 1980

Earlier work this paper cites.

A critique of common lisp

R. A. Brooks and R. P. Gabriel · 1984

Earlier work this paper cites.

On understanding types, data abstraction, and polymorphism

L. Cardelli and P. Wegner · 1985

Earlier work this paper cites.

Compilers and staging transformations

U. Jørring and W. L. Scherlis · 1986

Earlier work this paper cites.

Preliminary report on a practical type inference system for common lisp

R. D. Beer · 1987

Earlier work this paper cites.

The common lisp object system: An overview

L. DeMichiel and R. Gabriel · 1987

Earlier work this paper cites.

An efficient implementation of self: a dynamically-typed object-oriented language based on prototypes

C. Chambers, D. Ungar, and E. Lee · 1989

Earlier work this paper cites.

The nimble type inferencer for common lisp-84

H. G. Baker · 1990

Cited alongside, same era.

Ticl—a type inference system for common lisp

K.-L. Ma and R. R. Kessler · 1990

Cited alongside, same era.

Clostrophobia: its etiology and treatment

H. G. Baker · 1991

Cited alongside, same era.

Object-oriented multi-methods in cecil

C. Chambers · 1992

Cited alongside, same era.

Comparing the galois connection and widening/narrowing approaches to abstract interpretation

P. Cousot and R. Cousot · 1992

Cited alongside, same era.

R: A language for data analysis and graphics

R. Ihaka and R. Gentleman · 1996

Cited alongside, same era.

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

C. Lattner and V. Adve · 2004

Later among the works it cites.

Towards type inference for javascript

C. Anderson, P. Giannini, and S. Drossopoulou · 2005

Later among the works it cites.

The diesel language specification and rationale: Version 0.1

C. Chambers · 2005

Later among the works it cites.

Tracing the meta-level: Pypy’s tracing jit compiler

C. F. Bolz, A. Cuni, M. Fijalkowski, and A. Rigo · 2009

Later among the works it cites.

Profile-guided static typing for dynamic scripting languages

M. Furr, J.-h. D. An, and J. S. Foster · 2009

Later among the works it cites.

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

E. Allen, J. Hilburn, S. Kilpatrick, V. Luchangco, S. Ryu, D. Chase, and G. Steele · 2011