Fetching the paper…
Reading the bibliography…
Technical computing is a challenging application area for programming languages to address.
Static determination of dynamic properties of generalized type unions
P. Cousot and R. Cousot · 1977
Earlier work this paper cites.
A general scheme for the automatic inference of variable types
M. A. Kaplan and J. D. Ullman · 1977
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.
Computation of matrix chain products. part II
T. C. Hu and M. T. Shing · 1984
Earlier work this paper cites.
Detecting equality of variables in programs
B. Alpern, M. N. Wegman, and F. K. Zadeck · 1988
Earlier work this paper cites.
Common lisp object system specification
D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon · 1988
Earlier work this paper cites.
Global value numbers and redundant computations
B. K. Rosen, M. N. Wegman, and F. K. Zadeck · 1988
Earlier work this paper cites.
Object-oriented multi-methods in cecil
C. Chambers · 1992
Earlier work this paper cites.
Typechecking and modules for multi-methods
C. Chambers and G. T. Leavens · 1994
Earlier work this paper cites.
On binary methods
K. Bruce, L. Cardelli, G. Castagna, G. T. Leavens, The Hopkins Object Group, and B. Pierce · 1995
Earlier work this paper cites.
Covariance and contravariance: conflict without a cause
G. Castagna · 1995
Earlier work this paper cites.
Design patterns: elements of reusable object-oriented software
E. Gamma, R. Helm, R. Johnson, and J. Vlissides · 1995
Earlier work this paper cites.
Python reference manual
G. van Rossum · 1995
Earlier work this paper cites.
The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language
A. Shalit · 1996
Earlier work this paper cites.
LAPACK Users’ Guide
E. Anderson, Z. Bai, C. Bischof, S. Blackford, J. Demmel, J. Dongarra, J. Du Croz, A. Greenbaum, S. Hammarling, A. McKenney, and D. Sorensen · 1999
Earlier work this paper cites.
Temporal abstract interpretation
P. Cousot and R. Cousot · 2000
Earlier work this paper cites.
FLAME: Formal linear algebra methods environment
J. a. Gunnels, F. G. Gustavson, G. M. Henry, and R. a. van de Geijn · 2001
Cited alongside, same era.
Lattice-based type determination in MATLAB, with an emphasis on handling type incorrect programs
P. G. Joisha and P. Banerjee · 2001
Cited alongside, same era.
The matlab jit-accelerator
A. MATLAB · 2002
Cited alongside, same era.
A graph-free approach to data-flow analysis
M. Mohnen · 2002
Cited alongside, same era.
Types and Programming Languages
B. C. Pierce · 2002
Cited alongside, same era.
LLVM: A compilation framework for lifelong program analysis & transformation
C. Lattner and V. Adve · 2004
Cited alongside, same era.
Data Flow Analysis: theory and practice
U. Khedker, A. Sanyal, and B. Karkare · 2009
Later among the works it cites.
Fast numerical computations with Cython
D. S. Seljebotn · 2009
Later among the works it cites.
Dynamically Typed Languages
L. Tratt · 2009
Later among the works it cites.
Rectangular Full Packed Format for Cholesky’s Algorithm: Factorization, Solution and Inversion
F. G. Gustavson, J. Wasniewski, J. J. Dongarra, and J. Langou · 2010
Later among the works it cites.
An analysis of the dynamic behavior of JavaScript programs
G. Richards, S. Lebresne, B. Burg, and J. Vitek · 2010
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 J. Steele, Guy · 2011
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
F. Nielson, H. R. Nielson, and C. Hankin · 2005
Cited alongside, same era.
An algebraic array shape inference system for MATLAB®
P. G. Joisha and P. Banerjee · 2006
Cited alongside, same era.
Prospectus for the next LAPACK and ScaLAPACK libraries
J. W. Demmel, J. Dongarra, B. Parlett, W. Kahan, M. Gu, D. Bindel, Y. Hida, X. Li, O. Marques, E. J. Riedy, C. Voemel, J. Langou, P. Luszczek, J. Kurzak, A. Buttari, J. Langou, and S. Tomov · 2007
Cited alongside, same era.
The clojure programming language
R. Hickey · 2008
Cited alongside, same era.
Functions of Matrices: Theory and Computation
N. J. Higham · 2008
Cited alongside, same era.
The luajit project
M. Pall · 2008
Cited alongside, same era.
Later among the works it cites.
The NumPy array: A structure for efficient numerical computation
S. Van Der Walt, S. C. Colbert, and G. Varoquaux · 2011
Later among the works it cites.
Julia: A fast dynamic language for technical computing
J. Bezanson, S. Karpinski, V. B. Shah, and A. Edelman · 2012
Later among the works it cites.
Julia: an efficient dynamic language for technical computing
J. W. Bezanson · 2012
Later among the works it cites.
Model-driven level 3 BLAS performance optimization on Loongson 3A processor
X. Zhang, Q. Wang, and Y. Zhang · 2012
Later among the works it cites.
Matrix Computations
G. H. Golub and C. F. Van Loan · 2013
Later among the works it cites.
BLIS: A framework for rapidly instantiating BLAS functionality
F. G. Van Zee and R. A. Van de Geijn · 2013
Later among the works it cites.
Parallel prefix polymorphism permits parallelization, presentation & proof
J. Chen and A. Edelman · 2014
Later among the works it cites.
In search of types
S. Kell · 2014
Later among the works it cites.
MATLAB version 8.3.0.532 (R2014a)
The MathWorks Inc · 2014
Later among the works it cites.