main.bib

@article{scott1976data,
  title={Data types as lattices},
  author={Scott, Dana},
  journal={Siam Journal on computing},
  volume={5},
  number={3},
  pages={522--587},
  year={1976},
  publisher={SIAM}
}

@book{scott1971toward,
  title={Toward a mathematical semantics for computer languages},
  author={Scott, Dana and Strachey, Christopher},
  volume={1},
  year={1971},
  publisher={Oxford University Computing Laboratory, Programming Research Group}
}

@incollection {graphfree,
   author = {Mohnen, Markus},
   affiliation = {RWTH Aachen Lehrstuhl für Informatik II Germany},
   title = {A Graph—Free Approach to Data—Flow Analysis},
   booktitle = {Compiler Construction},
   series = {Lecture Notes in Computer Science},
   editor = {Horspool, R.},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-43369-9},
   keyword = {Computer Science},
   pages = {185-213},
   volume = {2304},
   year = {2002}
}

@TECHREPORT{nimble,
    author = {Henry G. Baker},
    title = {The Nimble Type Inferencer for {C}ommon {L}isp-84},
    institution = {Tech. Rept., Nimble Comp},
    year = {1990}
}

@TECHREPORT{egal,
    author = {Henry G. Baker},
    title = {Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same},
    institution = {Tech. Rept., Nimble Comp},
    year = {1992}
}

@incollection {typeinfpractical,
   author = {Oxhøj, Nicholas and Palsberg, Jens and Schwartzbach, Michael},
   affiliation = {Aarhus University Computer Science Department Ny Munkegade DK-8000 århus C Denmark Ny Munkegade DK-8000 århus C Denmark},
   title = {Making type inference practical},
   booktitle = {ECOOP ’92 European Conference on Object-Oriented Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Madsen, Ole},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-55668-8},
   keyword = {Computer Science},
   pages = {329-349},
   volume = {615},
   url = {http://dx.doi.org/10.1007/BFb0053045},
   note = {10.1007/BFb0053045},
   year = {1992}
}

@article{rubydust,
 author = {An, Jong-hoon (David) and Chaudhuri, Avik and Foster, Jeffrey S. and Hicks, Michael},
 title = {Dynamic inference of static types for ruby},
 journal = {SIGPLAN Not.},
 issue_date = {January 2011},
 volume = {46},
 issue = {1},
 month = jan,
 year = {2011},
 issn = {0362-1340},
 pages = {459--472},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1925844.1926437},
 doi = {http://doi.acm.org/10.1145/1925844.1926437},
 acmid = {1926437},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamic languages, dynamic type inference, ruby, static types},
}

@incollection {typeinfjavascript,
   author = {Anderson, Christopher and Giannini, Paola and Drossopoulou, Sophia},
   affiliation = {Department of Computing, Imperial College London, 180 Queen’s Gate, London, SW7 2BZ U.K},
   title = {Towards Type Inference for JavaScript},
   booktitle = {ECOOP 2005 - Object-Oriented Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Black, Andrew},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-27992-1},
   keyword = {Computer Science},
   pages = {733-733},
   volume = {3586},
   year = {2005}
}

% shows that most JS programs use singly-typed variables
@inproceedings{richards2010,
 author = {Richards, Gregor and Lebresne, Sylvain and Burg, Brian and Vitek, Jan},
 title = {An Analysis of the Dynamic Behavior of JavaScript Programs},
 booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '10},
 year = {2010},
 isbn = {978-1-4503-0019-3},
 location = {Toronto, Ontario, Canada},
 pages = {1--12},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1806596.1806598},
 doi = {10.1145/1806596.1806598},
 acmid = {1806598},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamic behavior, dynamic metrics, execution tracing, javascript, program analysis},
}

@incollection{evaluatingR,
year={2012},
isbn={978-3-642-31056-0},
booktitle={ECOOP 2012 - Object-Oriented Programming},
volume={7313},
series={Lecture Notes in Computer Science},
editor={Noble, James},
doi={10.1007/978-3-642-31057-7_6},
title={Evaluating the Design of the R Language},
url={http://dx.doi.org/10.1007/978-3-642-31057-7_6},
publisher={Springer Berlin Heidelberg},
author={Morandat, Floréal and Hill, Brandon and Osvald, Leo and Vitek, Jan},
pages={104-131},
language={English}
}

@article{kaplanullman,
 author = {Kaplan, Marc A. and Ullman, Jeffrey D.},
 title = {A Scheme for the Automatic Inference of Variable Types},
 journal = {J. ACM},
 volume = {27},
 issue = {1},
 month = {January},
 year = {1980},
 issn = {0004-5411},
 pages = {128--145},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/322169.322181},
 doi = {http://doi.acm.org/10.1145/322169.322181},
 acmid = {322181},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{cecil,
 author = {Chambers, Craig},
 title = {Object-Oriented Multi-Methods in Cecil},
 booktitle = {Proceedings of the European Conference on Object-Oriented Programming},
 year = {1992},
 isbn = {3-540-55668-0},
 pages = {33--56},
 numpages = {24},
 url = {http://dl.acm.org/citation.cfm?id=646150.679216},
 acmid = {679216},
 publisher = {Springer-Verlag},
 address = {London, UK},
}

@article{cecilspec,
  author = {Chambers, Craig},
  title = {The Cecil language specification and rationale: Version 2.1.},
  url = {http://www.cs.washington.edu/research/projects/cecil/www/pubs/cecil-spec.html},
  year = {1997},
  month = {March},
}

@article{chambers2006diesel,
  title={The Diesel language specification and rationale: Version 0.2},
  author={Chambers, Craig},
  year={2006},
  publisher={Citeseer}
}

@article{multipledispatch,
 author = {Muschevici, Radu and Potanin, Alex and Tempero, Ewan and Noble, James},
 title = {Multiple dispatch in practice},
 journal = {SIGPLAN Not.},
 issue_date = {September 2008},
 volume = {43},
 issue = {10},
 month = {October},
 year = {2008},
 issn = {0362-1340},
 pages = {563--582},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/1449955.1449808},
 doi = {http://doi.acm.org/10.1145/1449955.1449808},
 acmid = {1449808},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {double dispatch, empirical software engineering, instanceof, multimethods, multiple dispatch},
}

@inproceedings{druby,
 author = {Furr, Michael and An, Jong-hoon (David) and Foster, Jeffrey S. and Hicks, Michael},
 title = {Static type inference for Ruby},
 booktitle = {Proceedings of the 2009 ACM symposium on Applied Computing},
 series = {SAC '09},
 year = {2009},
 isbn = {978-1-60558-166-8},
 location = {Honolulu, Hawaii},
 pages = {1859--1866},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1529282.1529700},
 doi = {http://doi.acm.org/10.1145/1529282.1529700},
 acmid = {1529700},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Ruby, contracts, dynamic typing, type inference},
}

% finds that dynamic features are often used, but most uses are highly
% constrained.
@article{profileguided,
 author = {Furr, Michael and An, Jong-hoon (David) and Foster, Jeffrey S.},
 title = {Profile-guided static typing for dynamic scripting languages},
 journal = {SIGPLAN Not.},
 issue_date = {October 2009},
 volume = {44},
 issue = {10},
 month = oct,
 year = {2009},
 issn = {0362-1340},
 pages = {283--300},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/1639949.1640110},
 doi = {http://doi.acm.org/10.1145/1639949.1640110},
 acmid = {1640110},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {RIL, profile guided anlaysis, ruby, scripting languages},
}

% adds unification-based type inference to dylan
@inproceedings{dylantypes,
 author = {Mehnert, Hannes},
 title = {Extending Dylan's type system for better type inference and error detection},
 booktitle = {Proceedings of the 2010 international conference on Lisp},
 series = {ILC '10},
 year = {2010},
 isbn = {978-1-4503-0470-2},
 location = {Reno/Tahoe, Nevada, USA},
 pages = {1--10},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1869643.1869645},
 doi = {http://doi.acm.org/10.1145/1869643.1869645},
 acmid = {1869645},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {compilers, dylan, dynamic typing, generic functions, gradual typing, lisp, multimethods, multiple dispatch, object-orientation, static typing, type inference},
}

@article{Rlang,
  author = {Ihaka, R. and Gentleman, R.},
  title = {R: A Language for Data Analysis and Graphics},
  journal = {Journal of Computational and Graphical Statistics},
  volume = {5},
  issue = {3},
  year = {1996},
  issn = {1061-8600},
  pages = {299-314},
  publisher = {American Statistical Association},
}

@article{schemelang,
 author = {Abelson, H. and Dybvig, R. K. and Haynes, C. T. and Rozas, G. J. and Adams,IV, N. I. and Friedman, D. P. and Kohlbecker, E. and Steele,Jr., G. L. and Bartley, D. H. and Halstead, R. and Oxley, D. and Sussman, G. J. and Brooks, G. and Hanson, C. and Pitman, K. M. and Wand, M.},
 editor = {Clinger, William and Rees, Jonathan},
 title = {Revised report on the algorithmic language scheme},
 journal = {SIGPLAN Lisp Pointers},
 volume = {IV},
 issue = {3},
 month = {July},
 year = {1991},
 issn = {1045-3563},
 pages = {1--55},
 numpages = {55},
 url = {http://doi.acm.org/10.1145/382130.382133},
 doi = {http://doi.acm.org/10.1145/382130.382133},
 acmid = {382133},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{tracingjit,
 author = {Gal, Andreas and Eich, Brendan and Shaver, Mike and Anderson, David and Mandelin, David and Haghighat, Mohammad R. and Kaplan, Blake and Hoare, Graydon and Zbarsky, Boris and Orendorff, Jason and Ruderman, Jesse and Smith, Edwin W. and Reitmaier, Rick and Bebenita, Michael and Chang, Mason and Franz, Michael},
 title = {Trace-based just-in-time type specialization for dynamic languages},
 booktitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '09},
 year = {2009},
 isbn = {978-1-60558-392-1},
 location = {Dublin, Ireland},
 pages = {465--478},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1542476.1542528},
 doi = {http://doi.acm.org/10.1145/1542476.1542528},
 acmid = {1542528},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamically typed languages, trace-based compilation},
}

@inproceedings{pypyjit,
 author = {Bolz, Carl Friedrich and Cuni, Antonio and Fijalkowski, Maciej and Rigo, Armin},
 title = {Tracing the meta-level: {PyPy}'s tracing {JIT} compiler},
 booktitle = {Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems},
 series = {ICOOOLPS '09},
 year = {2009},
 isbn = {978-1-60558-541-3},
 location = {Genova, Italy},
 pages = {18--25},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1565824.1565827},
 doi = {http://doi.acm.org/10.1145/1565824.1565827},
 acmid = {1565827},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{pypyalloc,
 author = {Bolz, Carl Friedrich and Cuni, Antonio and FijaBkowski, Maciej and Leuschel, Michael and Pedroni, Samuele and Rigo, Armin},
 title = {Allocation removal by partial evaluation in a tracing {JIT}},
 booktitle = {Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation},
 series = {PEPM '11},
 year = {2011},
 isbn = {978-1-4503-0485-6},
 location = {Austin, Texas, USA},
 pages = {43--52},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1929501.1929508},
 doi = {http://doi.acm.org/10.1145/1929501.1929508},
 acmid = {1929508},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {optimization, partial evaluation, tracing jit},
}

@inproceedings{tracingjit2,
 author = {Chang, Mason and Smith, Edwin and Reitmaier, Rick and Bebenita, Michael and Gal, Andreas and Wimmer, Christian and Eich, Brendan and Franz, Michael},
 title = {Tracing for web 3.0: trace compilation for the next generation web applications},
 booktitle = {Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments},
 series = {VEE '09},
 year = {2009},
 isbn = {978-1-60558-375-4},
 location = {Washington, DC, USA},
 pages = {71--80},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1508293.1508304},
 doi = {http://doi.acm.org/10.1145/1508293.1508304},
 acmid = {1508304},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamic compilation, dynamically typed languages, forth, javascript, tamarin, trace trees, tracing, type specialization},
}

% self - method specialization and inlining
% optimizations for prototype-based languages
% traversing dependencies to respond to code changes
% message splitting, type prediction
@article{selflang,
 author = {Chambers, C. and Ungar, D. and Lee, E.},
 title = {An efficient implementation of SELF: a dynamically-typed object-oriented language based on prototypes},
 journal = {SIGPLAN Not.},
 volume = {24},
 issue = {10},
 month = {September},
 year = {1989},
 issn = {0362-1340},
 pages = {49--70},
 numpages = {22},
 url = {http://doi.acm.org/10.1145/74878.74884},
 doi = {http://doi.acm.org/10.1145/74878.74884},
 acmid = {74884},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{numpy,
  author    = {St{\'e}fan van der Walt and
               S. Chris Colbert and
               Ga{\"e}l Varoquaux},
  title     = {The {NumPy} array: a structure for efficient numerical computation},
  journal   = {CoRR},
  volume    = {abs/1102.1523},
  year      = {2011},
  ee        = {http://arxiv.org/abs/1102.1523},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{octave,
 author = {Murphy, Malcolm},
 title = {Octave: A Free, High-Level Language for Mathematics},
 journal = {Linux J.},
 issue_date = {July 1997},
 volume = {1997},
 issue = {39es},
 month = jul,
 year = {1997},
 issn = {1075-3583},
 articleno = {8},
 url = {http://dl.acm.org/citation.cfm?id=326876.326884},
 acmid = {326884},
 publisher = {Belltown Media},
 address = {Houston, TX},
}

@book{scilab,
 editor = {Gomez, Claude},
 title = {Engineering and Scientific Computing With Scilab},
 publisher = {Birkh{\"a}user},
 year = {1999},
}

@article{APL,
 author = {Falkoff, A. D. and Iverson, K. E.},
 title = {The design of {APL}},
 journal = {SIGAPL APL Quote Quad},
 volume = {6},
 issue = {1},
 month = {April},
 year = {1975},
 issn = {0163-6006},
 pages = {5--14},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/585923.585925},
 doi = {http://doi.acm.org/10.1145/585923.585925},
 acmid = {585925},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {ZPL,
   author = {Lin, Calvin and Snyder, Lawrence},
   affiliation = {Department of Computer Science and Engineering FR-35 USA FR-35 USA},
   title = {{ZPL}: An array sublanguage},
   booktitle = {Languages and Compilers for Parallel Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-57659-4},
   keyword = {Computer Science},
   pages = {96-114},
   volume = {768},
   year = {1994}
}
   %url = {http://dx.doi.org/10.1007/3-540-57659-2_6},
   %note = {10.1007/3-540-57659-2_6},

@incollection {springerlink:10.1007/3540543961_22,
   author = {Henglein, Fritz},
   affiliation = {University of Copenhagen DIKU Universitetsparken 1 2100 Copenhagen Ø Denmark Universitetsparken 1 2100 Copenhagen Ø Denmark},
   title = {Efficient type inference for higher-order binding-time analysis},
   booktitle = {Functional Programming Languages and Computer Architecture},
   series = {Lecture Notes in Computer Science},
   editor = {Hughes, John},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-54396-1},
   keyword = {Computer Science},
   pages = {448-472},
   volume = {523},
   url = {http://dx.doi.org/10.1007/3540543961_22},
   note = {10.1007/3540543961_22},
   year = {1991}
}

@inproceedings{Milner:1984:PSM:800055.802035,
 author = {Milner, Robin},
 title = {A proposal for standard ML},
 booktitle = {Proceedings of the 1984 {ACM} Symposium on {LISP} and functional programming},
 series = {LFP '84},
 year = {1984},
 isbn = {0-89791-142-3},
 location = {Austin, Texas, United States},
 pages = {184--197},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/800055.802035},
 doi = {http://doi.acm.org/10.1145/800055.802035},
 acmid = {802035},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{MLtypeinf,
title = "A theory of type polymorphism in programming",
journal = "Journal of Computer and System Sciences",
volume = "17",
number = "3",
pages = "348 - 375",
year = "1978",
note = "",
issn = "0022-0000",
doi = "10.1016/0022-0000(78)90014-4",
url = "http://www.sciencedirect.com/science/article/pii/0022000078900144",
author = "Robin and Milner"
}

@article{hindley1969principal,
  title={The principal type-scheme of an object in combinatory logic},
  author={Hindley, Roger},
  journal={Transactions of the american mathematical society},
  pages={29--60},
  year={1969},
  publisher={JSTOR}
}

@inproceedings{typedscheme,
 author = {Tobin-Hochstadt, Sam and Felleisen, Matthias},
 title = {The design and implementation of typed scheme},
 booktitle = {Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '08},
 year = {2008},
 isbn = {978-1-59593-689-9},
 location = {San Francisco, California, USA},
 pages = {395--406},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1328438.1328486},
 doi = {http://doi.acm.org/10.1145/1328438.1328486},
 acmid = {1328486},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {scheme, type systems},
}

@inproceedings{Henglein:1995:SPT:224164.224203,
 author = {Henglein, Fritz and Rehof, Jakob},
 title = {Safe polymorphic type inference for a dynamically typed language: translating {S}cheme to {ML}},
 booktitle = {Proceedings of the seventh international conference on Functional programming languages and computer architecture},
 series = {FPCA '95},
 year = {1995},
 isbn = {0-89791-719-7},
 location = {La Jolla, California, United States},
 pages = {192--203},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/224164.224203},
 doi = {http://doi.acm.org/10.1145/224164.224203},
 acmid = {224203},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {dyntype,
   author = {Henglein, Fritz},
   affiliation = {University of Copenhagen Universitetsparken 1 2100 Copenhagen Ø Denmark Universitetsparken 1 2100 Copenhagen Ø Denmark},
   title = {Dynamic typing},
   booktitle = {ESOP '92},
   series = {Lecture Notes in Computer Science},
   editor = {Krieg-Brückner, Bernd},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-55253-6},
   keyword = {Computer Science},
   pages = {233-253},
   volume = {582},
   year = {1992}
}

@inproceedings{taggingopt,
 author = {Henglein, Fritz},
 title = {Global tagging optimization by type inference},
 booktitle = {Proceedings of the 1992 ACM conference on LISP and functional programming},
 series = {LFP '92},
 year = {1992},
 isbn = {0-89791-481-3},
 location = {San Francisco, California, United States},
 pages = {205--215},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/141471.141542},
 doi = {http://doi.acm.org/10.1145/141471.141542},
 acmid = {141542},
 publisher = {ACM},
 address = {New York, NY, USA},
}

% generic functions with default case and specializations in Haskell
@inproceedings{Lammel:2005:SYB:1086365.1086391,
 author = {L\"{a}mmel, Ralf and Jones, Simon Peyton},
 title = {Scrap your boilerplate with class: extensible generic functions},
 booktitle = {Proceedings of the tenth ACM SIGPLAN international conference on Functional programming},
 series = {ICFP '05},
 year = {2005},
 isbn = {1-59593-064-7},
 location = {Tallinn, Estonia},
 pages = {204--215},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1086365.1086391},
 doi = {http://doi.acm.org/10.1145/1086365.1086391},
 acmid = {1086391},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {extensibility, generic programming, recursive dictionaries, type classes, typecase},
}

@article{telescoping,
title = "Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries",
journal = "Journal of Parallel and Distributed Computing",
volume = "61",
number = "12",
pages = "1803 - 1826",
year = "2001",
note = "",
issn = "0743-7315",
doi = "10.1006/jpdc.2001.1724",
url = "http://www.sciencedirect.com/science/article/pii/S0743731501917241",
author = "Ken Kennedy and Bradley Broom and Keith Cooper and Jack Dongarra and Rob Fowler and Dennis Gannon and Lennart Johnsson and John Mellor-Crummey and Linda Torczon"
}

@article{lispmachine,
 author = {Greenblatt, Richard D. and Knight, Thomas F. and Holloway, John T. and Moon, David A.},
 title = {A {LISP} machine},
 journal = {SIGIR Forum},
 volume = {15},
 issue = {2},
 month = {March},
 year = {1980},
 issn = {0163-5840},
 pages = {137--138},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1013881.802703},
 doi = {http://doi.acm.org/10.1145/1013881.802703},
 acmid = {802703},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article {futamura,
   author = {Futamura, Yoshihiko},
   title = {Partial Evaluation of Computation Process: An Approach to a Compiler-Compiler},
   journal = {Higher-Order and Symbolic Computation},
   publisher = {Springer Netherlands},
   issn = {1388-3690},
   keyword = {Computer Science},
   pages = {381-391},
   volume = {12},
   issue = {4},
   url = {http://dx.doi.org/10.1023/A:1010095604496},
   note = {10.1023/A:1010095604496},
   year = {1999}
}

@article {TICL,
author = {Ma, Kwan-Liu and Kessler, Robert R.},
title = {{TICL}—A type inference system for {C}ommon {L}isp},
journal = {Software: Practice and Experience},
volume = {20},
number = {6},
publisher = {John Wiley & Sons, Ltd.},
issn = {1097-024X},
url = {http://dx.doi.org/10.1002/spe.4380200606},
doi = {10.1002/spe.4380200606},
pages = {593--623},
keywords = {Common Lisp, Data types, Type inference, Fixed-point},
year = {1990},
}

@article{pticl,
 author = {Beer, Randall D.},
 title = {Preliminary report on a practical type inference system for {C}ommon {L}isp},
 journal = {SIGPLAN Lisp Pointers},
 volume = {1},
 issue = {2},
 month = {June},
 year = {1987},
 issn = {1045-3563},
 pages = {5--11},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/1317193.1317195},
 doi = {http://doi.acm.org/10.1145/1317193.1317195},
 acmid = {1317195},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{lispcrit,
 author = {Brooks, Rodney A. and Gabriel, Richard P.},
 title = {A critique of common {LISP}},
 booktitle = {Proceedings of the 1984 ACM Symposium on LISP and functional programming},
 series = {LFP '84},
 year = {1984},
 isbn = {0-89791-142-3},
 location = {Austin, Texas, United States},
 pages = {1--8},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/800055.802016},
 doi = {http://doi.acm.org/10.1145/800055.802016},
 acmid = {802016},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {gradualobjects,
   author = {Siek, Jeremy and Taha, Walid},
   affiliation = {University of Colorado, Boulder, CO 80309, USA, and LogicBlox Inc., Atlanta, GA 30309 USA},
   title = {Gradual Typing for Objects},
   booktitle = {ECOOP 2007 – Object-Oriented Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Ernst, Erik},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-73588-5},
   keyword = {Computer Science},
   pages = {2-27},
   volume = {4609},
   year = {2007}
}

@inproceedings{quasistatic,
 author = {Thatte, Satish},
 title = {Quasi-static typing},
 booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '90},
 year = {1990},
 isbn = {0-89791-343-4},
 location = {San Francisco, California, United States},
 pages = {367--381},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/96709.96747},
 doi = {http://doi.acm.org/10.1145/96709.96747},
 acmid = {96747},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{dylanlang,
 author = {Shalit, Andrew},
 title = {The Dylan reference manual: the definitive guide to the new object-oriented dynamic language},
 year = {1996},
 isbn = {0-201-44211-6},
 publisher = {Addison Wesley Longman Publishing Co., Inc.},
 address = {Redwood City, CA, USA},
}

@incollection {slicehoisting,
   author = {Chauhan, Arun and Kennedy, Ken},
   affiliation = {Department of Computer Science, Rice University, Houston, TX 77005, USA},
   title = {Slice-Hoisting for Array-Size Inference in {MATLAB}},
   booktitle = {Languages and Compilers for Parallel Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Rauchwerger, Lawrence},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-21199-0},
   keyword = {Computer Science},
   pages = {495-508},
   volume = {2958},
   year = {2004}
}

@inproceedings{telescopingvectorization,
 author = {Chauhan, Arun and Kennedy, Ken},
 title = {Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization},
 booktitle = {Proceedings of the 15th international conference on Supercomputing},
 series = {ICS '01},
 year = {2001},
 isbn = {1-58113-410-X},
 location = {Sorrento, Italy},
 pages = {92--101},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/377792.377812},
 doi = {http://doi.acm.org/10.1145/377792.377812},
 acmid = {377812},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Matlab, automatic differentiation, high-level languages, high-performance computing, partial evaluation, procedure specialization, reduction in strength, scripts, specialization, telescoping languages, vectorization},
}

@inproceedings{Birkbeck:2007:DAA:1251974.1252535,
 author = {Birkbeck, Neil and Levesque, Jonathan and Amaral, Jose Nelson},
 title = {A Dimension Abstraction Approach to Vectorization in {M}atlab},
 booktitle = {Proceedings of the International Symposium on Code Generation and Optimization},
 series = {CGO '07},
 year = {2007},
 isbn = {0-7695-2764-7},
 pages = {115--130},
 numpages = {16},
 url = {http://dx.doi.org/10.1109/CGO.2007.1},
 doi = {http://dx.doi.org/10.1109/CGO.2007.1},
 acmid = {1252535},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

  @InProceedings{LLVM,
    author    = {Chris Lattner and Vikram Adve},
    title     = {{LLVM}: A Compilation Framework for Lifelong Program Analysis \& Transformation},
    booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
    address   = {Palo Alto, California},
    month     = {Mar},
    year      = {2004}
  }

@article{closspec,
 author = {Bobrow, Daniel G. and DeMichiel, Linda G. and Gabriel, Richard P. and Keene, Sonya E. and Kiczales, Gregor and Moon, David A.},
 title = {Common {L}isp {O}bject {S}ystem specification},
 journal = {SIGPLAN Not.},
 volume = {23},
 issue = {SI},
 month = {September},
 year = {1988},
 issn = {0362-1340},
 pages = {1--142},
 numpages = {142},
 url = {http://doi.acm.org/10.1145/885631.885632},
 doi = {http://doi.acm.org/10.1145/885631.885632},
 acmid = {885632},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {closoverview,
   author = {DeMichiel, Linda and Gabriel, Richard},
   affiliation = {Lucid, Inc., Menlo Park, California},
   title = {The {C}ommon {L}isp {O}bject {S}ystem: An Overview},
   booktitle = {ECOOP’ 87 European Conference on Object-Oriented Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Bézivin, Jean and Hullot, Jean-Marie and Cointe, Pierre and Lieberman, Henry},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-18353-2},
   keyword = {Computer Science},
   pages = {151-170},
   volume = {276},
   year = {1987}
}

@book{steele1990common,
  title={Common {LISP}: the language},
  author={Steele, Guy L},
  year={1990},
  publisher={Digital press}
}

@inbook{steele1990common:types,
  title={Common {LISP}: the language},
  author={Steele, Guy L},
  year={1990},
  chapter={4},
  publisher={Digital press}
}

@incollection {portablejit,
   author = {Williams, Kevin and McCandless, Jason and Gregg, David},
   affiliation = {Trinity College Dublin, Dublin, Ireland},
   title = {Portable Just-in-Time Specialization of Dynamically Typed Scripting Languages},
   booktitle = {Languages and Compilers for Parallel Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Gao, Guang and Pollock, Lori and Cavazos, John and Li, Xiaoming},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-13373-2},
   keyword = {Computer Science},
   pages = {391-398},
   volume = {5898},
   url = {http://dx.doi.org/10.1007/978-3-642-13374-9_27},
   note = {10.1007/978-3-642-13374-9_27},
   year = {2010}
}

@article{clostrophobia,
 author = {Baker, Henry G.},
 title = {{CLOS}trophobia: its etiology and treatment},
 journal = {SIGPLAN OOPS Mess.},
 issue_date = {Oct. 1991},
 volume = {2},
 number = {4},
 month = oct,
 year = {1991},
 issn = {1055-6400},
 pages = {4--15},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/126983.126984},
 doi = {10.1145/126983.126984},
 acmid = {126984},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@techreport{fortresspec,
author = {Eric Allen and David Chase and Joe Hallett and Victor Luchangco and Jan-Willem Maessen and Sukyoung Ryu and Steele,Jr.,Guy L. and Sam Tobin-Hochstadt},
title = {The Fortress Language Specification Version 1.0},
month = {March},
year = {2008},
}

@inproceedings{fortress,
 author = {Steele,Jr., Guy L.},
 title = {Parallel programming and code selection in fortress},
 booktitle = {Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
 series = {PPoPP '06},
 year = {2006},
 isbn = {1-59593-189-9},
 location = {New York, New York, USA},
 pages = {1--1},
 numpages = {1},
 url = {http://doi.acm.org/10.1145/1122971.1122972},
 doi = {10.1145/1122971.1122972},
 acmid = {1122972},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Allen:2007:MMD:1244002.1244245,
 author = {Allen, Eric and Hallett, J. J. and Luchangco, Victor and Ryu, Sukyoung and Steele,Jr., Guy L.},
 title = {Modular Multiple Dispatch with Multiple Inheritance},
 booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing},
 series = {SAC '07},
 year = {2007},
 isbn = {1-59593-480-4},
 location = {Seoul, Korea},
 pages = {1117--1121},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/1244002.1244245},
 doi = {10.1145/1244002.1244245},
 acmid = {1244245},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {modularity, multiple dispatch, multiple inheritance, overloading},
}

@inproceedings{fortressmodular,
 author = {Allen, Eric and Hilburn, Justin and Kilpatrick, Scott and Luchangco, Victor and Ryu, Sukyoung and Chase, David and Steele, Guy},
 title = {Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance},
 booktitle = {Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications},
 series = {OOPSLA '11},
 year = {2011},
 isbn = {978-1-4503-0940-0},
 location = {Portland, Oregon, USA},
 pages = {973--992},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/2048066.2048140},
 doi = {10.1145/2048066.2048140},
 acmid = {2048140},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {components, fortress, ilks, meet rule, methods, modularity, multimethods, multiple dispatch, multiple inheritance, object-oriented programming, overloading, run-time types, separate compilation, static types, symmetric dispatch},
}

@inproceedings{abstractinterp,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
 booktitle = {Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
 series = {POPL '77},
 year = {1977},
 location = {Los Angeles, California},
 pages = {238--252},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/512950.512973},
 doi = {10.1145/512950.512973},
 acmid = {512973},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {widening,
   author = {Cousot, Patrick and Cousot, Radhia},
   affiliation = {LIENS, DMI, école Normale Supérieure 45, rue d'Ulm 75230 Paris cedex 05 France 45, rue d'Ulm 75230 Paris cedex 05 France},
   title = {Comparing the Galois connection and widening/narrowing approaches to abstract interpretation},
   booktitle = {Programming Language Implementation and Logic Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Bruynooghe, Maurice and Wirsing, Martin},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-55844-6},
   keyword = {Computer Science},
   pages = {269-295},
   volume = {631},
   year = {1992}
}

@article{coroutines,
 author = {Conway, Melvin E.},
 title = {Design of a separable transition-diagram compiler},
 journal = {Commun. ACM},
 issue_date = {July 1963},
 volume = {6},
 number = {7},
 month = jul,
 year = {1963},
 issn = {0001-0782},
 pages = {396--408},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/366663.366704},
 doi = {10.1145/366663.366704},
 acmid = {366704},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{blas,
 author = {Lawson, C. L. and Hanson, R. J. and Kincaid, D. R. and Krogh, F. T.},
 title = {Basic Linear Algebra Subprograms for Fortran Usage},
 journal = {ACM Trans. Math. Softw.},
 issue_date = {Sept. 1979},
 volume = {5},
 number = {3},
 month = sep,
 year = {1979},
 issn = {0098-3500},
 pages = {308--323},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/355841.355847},
 doi = {10.1145/355841.355847},
 acmid = {355847},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{boundedquant,
 author = {Cardelli, Luca and Wegner, Peter},
 title = {On understanding types, data abstraction, and polymorphism},
 journal = {ACM Comput. Surv.},
 issue_date = {Dec. 1985},
 volume = {17},
 number = {4},
 month = dec,
 year = {1985},
 issn = {0360-0300},
 pages = {471--523},
 numpages = {53},
 url = {http://doi.acm.org/10.1145/6041.6042},
 doi = {10.1145/6041.6042},
 acmid = {6042},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{github,
 author = {Dabbish, Laura and Stuart, Colleen and Tsay, Jason and Herbsleb, Jim},
 title = {Social coding in {G}it{H}ub: transparency and collaboration in an open software repository},
 booktitle = {Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work},
 series = {CSCW '12},
 year = {2012},
 isbn = {978-1-4503-1086-4},
 location = {Seattle, Washington, USA},
 pages = {1277--1286},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2145204.2145396},
 doi = {10.1145/2145204.2145396},
 acmid = {2145396},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {awareness, collaboration, coordination, open source software development, social computing, transparency},
}

@inproceedings{staging,
 author = {J{\o}rring, Ulrik and Scherlis, William L.},
 title = {Compilers and staging transformations},
 booktitle = {Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
 series = {POPL '86},
 year = {1986},
 location = {St. Petersburg Beach, Florida},
 pages = {86--96},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/512644.512652},
 doi = {10.1145/512644.512652},
 acmid = {512652},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@incollection {matlabspecializer,
   author = {Chevalier-Boisvert, Maxime and Hendren, Laurie and Verbrugge, Clark},
   affiliation = {McGill University School of Computer Science Montreal QC Canada},
   title = {Optimizing Matlab through Just-In-Time Specialization},
   booktitle = {Compiler Construction},
   series = {Lecture Notes in Computer Science},
   editor = {Gupta, Rajiv},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-11969-9},
   keyword = {Computer Science},
   pages = {46-65},
   volume = {6011},
   year = {2010}
}

@incollection {majic,
   author = {Almasi, George and Padua, David},
   affiliation = {University of Illinois Department of Computer Science Urbana-Champaign},
   title = {MaJIC: A Matlab Just-In-Time Compiler},
   booktitle = {Languages and Compilers for Parallel Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Midkiff, Samuel and Moreira, José and Gupta, Manish and Chatterjee, Siddhartha and Ferrante, Jeanne and Prins, Jan and Pugh, William and Tseng, Chau-Wen},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-42862-6},
   keyword = {Computer Science},
   pages = {68-81},
   volume = {2017},
   year = {2001}
}

@incollection {falcon,
   author = {De Rose, L. and Gallivan, K. and Gallopoulos, E. and Marsolf, B. and Padua, D.},
   affiliation = {University of Illinois at Urbana-Champaign Center for Supercomputing Research and Development and Coordinated Science Laboratory 61801 Urbana Illinois 61801 Urbana Illinois},
   title = {{FALCON}: A {MATLAB} interactive restructuring compiler},
   booktitle = {Languages and Compilers for Parallel Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Huang, Chua-Huang and Sadayappan, Ponnuswamy and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-60765-6},
   keyword = {Computer Science},
   pages = {269-288},
   volume = {1033},
   url = {http://dx.doi.org/10.1007/BFb0014205},
   note = {10.1007/BFb0014205},
   year = {1996}
}

@inproceedings{Liskov:1974pb,
	Address = {New York},
	Author = {Barbara H Liskov and Stephen N Zilles},
	Booktitle = {Proceedings of the ACM SIGPLAN symposium on Very high level languages},
	Date-Added = {2014-03-19 20:18:51 +0000},
	Date-Modified = {2014-03-19 20:19:49 +0000},
	Organization = {ACM},
	Pages = {50-59},
	Title = {Programming with Abstract Data Types},
	Volume = {9},
	Year = {1974}}

@article{Behnel:2011,
 author = {Behnel, Stefan and Bradshaw, Robert and Citro, Craig and Dalcin, Lisandro and Seljebotn, Dag Sverre and Smith, Kurt},
 title = {Cython: The Best of Both Worlds},
 journal = {Computing in Science and Engg.},
 issue_date = {March 2011},
 volume = {13},
 number = {2},
 month = mar,
 year = {2011},
 issn = {1521-9615},
 pages = {31--39},
 numpages = {9},
 url = {http://dx.doi.org/10.1109/MCSE.2010.118},
 doi = {10.1109/MCSE.2010.118},
 acmid = {1957467},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 keywords = {Cython, Python, Python, Cython, numerics, scientific computing, numerics, scientific computing},
}

% talks about importance of specialization
@article{Castanos:2012:BPE:2398857.2384631,
 author = {Castanos, Jose and Edelsohn, David and Ishizaki, Kazuaki and Nagpurkar, Priya and Nakatani, Toshio and Ogasawara, Takeshi and Wu, Peng},
 title = {On the Benefits and Pitfalls of Extending a Statically Typed Language {JIT} Compiler for Dynamic Scripting Languages},
 journal = {SIGPLAN Not.},
 issue_date = {October 2012},
 volume = {47},
 number = {10},
 month = oct,
 year = {2012},
 issn = {0362-1340},
 pages = {195--212},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/2398857.2384631},
 doi = {10.1145/2398857.2384631},
 acmid = {2384631},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {python, scripting languages},
}

@inproceedings{collobert2011torch7,
  title={Torch7: A matlab-like environment for machine learning},
  author={Collobert, Ronan and Farabet, Cl{\'e}ment and Kavukcuoglu, Koray},
  booktitle={BigLearn, NIPS Workshop},
  number={EPFL-CONF-192376},
  year={2011}
}

@article{bottou2002lush,
  title={Lush reference manual},
  author={Bottou, L{\'e}on and Cun, YL},
  journal={URL http://lush. sourceforge. net},
  year={2002}
}

@article{Rose:1999tt,
	Author = {Luiz De Rose and David Padua},
	Date-Added = {2014-03-27 04:43:26 +0000},
	Date-Modified = {2014-03-27 04:43:32 +0000},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Pages = {286--323},
	Title = {Techniques for the Translation of {MATLAB} Programs into Fortran 90},
	Volume = {21},
	Year = {1999}}

@techreport{Li:2013mf,
	Address = {Montr\'eal, Qu\'ebec, Canada},
	Author = {Xu Li and Laurie Hendren},
	Date-Added = {2014-03-30 06:37:28 +0000},
	Date-Modified = {2014-03-30 06:37:50 +0000},
	Institution = {Sable Research Group, School of Computer Science, McGill University},
	Month = October,
	Number = {SABLE-TR-2013-4},
	Title = {Mc2{F}or: a tool for automatically transforming {MATLAB} to Fortran 95},
	Url = {http://www.sable.mcgill.ca/publications/techreports/2013-4/techrep.pdf},
	Year = {2013},
	Bdsk-Url-1 = {http://www.sable.mcgill.ca/publications/techreports/2013-4/techrep.pdf}}

@article{Joisha:2006:AAS:1152649.1152651,
 author = {Joisha, Pramod G. and Banerjee, Prithviraj},
 title = {An Algebraic Array Shape Inference System for MATLAB\&Reg;},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {September 2006},
 volume = {28},
 number = {5},
 month = sep,
 year = {2006},
 issn = {0164-0925},
 pages = {848--907},
 numpages = {60},
 url = {http://doi.acm.org/10.1145/1152649.1152651},
 doi = {10.1145/1152649.1152651},
 acmid = {1152651},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Typeless array languages, shape algebras, term rewriting},
}

@inproceedings{Garg:2014:JSI:2627373.2627382,
 author = {Garg, Rahul and Hendren, Laurie},
 title = {Just-in-time Shape Inference for Array-based Languages},
 booktitle = {Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming},
 series = {ARRAY'14},
 year = {2014},
 isbn = {978-1-4503-2937-8},
 location = {Edinburgh, United Kingdom},
 pages = {50:50--50:55},
 articleno = {50},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2627373.2627382},
 doi = {10.1145/2627373.2627382},
 acmid = {2627382},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Compiler framework for Array-Based Language, MATLAB, Python},
}

@book{Sussman:2001:SIC:375178,
 author = {Sussman, Gerald Jay and Wisdom, Jack},
 title = {Structure and Interpretation of Classical Mechanics},
 year = {2001},
 isbn = {0-262-19455-4},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}

@phdthesis{morris,
 author = {Morris, James Hiram Jr.},
 title = {Lambda-Calculus Models of Programming Languages},
 school = {Massachusetts Institute of Technology},
 year = {1968}
}

@MastersThesis{bezansonmsthesis,
 author = {Bezanson, Jeff},
 title = {Julia: An Efficient Dynamic Language for Technical Computing},
 school = {Massachusetts Institute of Technology},
 year = {2012}
}

@inproceedings{Garcia:2003:CSL:949305.949317,
 author = {Garcia, Ronald and Jarvi, Jaakko and Lumsdaine, Andrew and Siek, Jeremy G. and Willcock, Jeremiah},
 title = {A Comparative Study of Language Support for Generic Programming},
 booktitle = {Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications},
 series = {OOPSLA '03},
 year = {2003},
 isbn = {1-58113-712-5},
 location = {Anaheim, California, USA},
 pages = {115--134},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/949305.949317},
 doi = {10.1145/949305.949317},
 acmid = {949317},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {C\#, C++, Eiffel, Haskell, Java, generic programming, generics, polymorphism, standard ML},
}

@inproceedings{Day:1995:SVC:217838.217852,
 author = {Day, Mark and Gruber, Robert and Liskov, Barbara and Myers, Andrew C.},
 title = {Subtypes vs. Where Clauses: Constraining Parametric Polymorphism},
 booktitle = {Proceedings of the Tenth Annual Conference on Object-oriented Programming Systems, Languages, and Applications},
 series = {OOPSLA '95},
 year = {1995},
 isbn = {0-89791-703-0},
 location = {Austin, Texas, USA},
 pages = {156--168},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/217838.217852},
 doi = {10.1145/217838.217852},
 acmid = {217852},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Leavens1998,
author = {Leavens, Gary T. and Millstein, Todd D.},
doi = {10.1145/286942.286977},
issn = {03621340},
journal = {ACM SIGPLAN Not.},
month = oct,
number = {10},
pages = {374--387},
title = {Multiple dispatch as dispatch on tuples},
url = {http://portal.acm.org/citation.cfm?doid=286942.286977},
volume = {33},
year = {1998}
}

% java wildcards as existentials, undecidability thereof
% loops are obtained through inheritance hierarchy, e.g.
% type Inf{T <: Inf}
@article{Tate:2011:TWJ:1993316.1993570,
 author = {Tate, Ross and Leung, Alan and Lerner, Sorin},
 title = {Taming Wildcards in Java's Type System},
 journal = {SIGPLAN Not.},
 issue_date = {June 2011},
 volume = {46},
 number = {6},
 month = jun,
 year = {2011},
 issn = {0362-1340},
 pages = {614--627},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1993316.1993570},
 doi = {10.1145/1993316.1993570},
 acmid = {1993570},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {existential types, joins, parametric types, single-instantiation inheritance, subtyping, type inference, wildcards},
}

% on undecidability of subtyping bounded existentials
@inproceedings{Cameron:2009:SWE:1557898.1557902,
 author = {Cameron, Nicholas and Drossopoulou, Sophia},
 title = {On Subtyping, Wildcards, and Existential Types},
 booktitle = {Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs},
 series = {FTfJP '09},
 year = {2009},
 isbn = {978-1-60558-540-6},
 location = {Genova, Italy},
 pages = {4:1--4:7},
 articleno = {4},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/1557898.1557902},
 doi = {10.1145/1557898.1557902},
 acmid = {1557902},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{wehr2008subtyping,
  title={Subtyping existential types},
  author={Wehr, Stefan and Thiemann, Peter},
  journal={10th FTfJP, informal proceedings},
  year={2008}
}

% suggests avoiding contravariance to get decidability
@article{nominalsubtypingvariance,
author = {Kennedy, Andrew J. and Pierce, Benjamin C.},
year = 2006,
month = {September},
title = {On Decidability of Nominal Subtyping with Variance}
}
% Andrew J. Kennedy and Benjamin C. Pierce, "On Decidability of Nominal Subtyping with Variance", . September 2006.

@online{hackagelattice,
title = {The lattices package},
author = {Bolingbroke, Max},
year = 2014,
note = {\url{http://hackage.haskell.org/package/lattices-1.2.1/}},
}

@article{Kell2014,
address = {New York, New York, USA},
author = {Kell, Stephen},
doi = {10.1145/2661136.2661154},
isbn = {9781450332101},
journal = {Proc. 2014 ACM Int. Symp. New Ideas, New Paradig. Reflections Program. Softw. - Onward! '14},
pages = {227--241},
publisher = {ACM Press},
title = {In Search of Types},
year = {2014}
}

@inproceedings{Bezanson2014,
address = {New York, New York, USA},
author = {Bezanson, Jeff and Chen, Jiahao and Karpinski, Stefan and Shah, Viral and Edelman, Alan},
booktitle = {Proc. ACM SIGPLAN Int. Work. Libr. Lang. Compil. Array Program. - ARRAY'14},
doi = {10.1145/2627373.2627383},
pages = {56--61},
publisher = {ACM},
title = {Array Operators Using Multiple Dispatch},
year = {2014}
}

@inproceedings{DeVito:2014:FRG:2594291.2594307,
 author = {DeVito, Zachary and Ritchie, Daniel and Fisher, Matt and Aiken, Alex and Hanrahan, Pat},
 title = {First-class Runtime Generation of High-performance Types Using Exotypes},
 booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '14},
 year = {2014},
 isbn = {978-1-4503-2784-8},
 location = {Edinburgh, United Kingdom},
 pages = {77--88},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2594291.2594307},
 doi = {10.1145/2594291.2594307},
 acmid = {2594307},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {DSL, lua, staged computation},
}

@inproceedings{Rompf:2010:LMS:1868294.1868314,
 author = {Rompf, Tiark and Odersky, Martin},
 title = {Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs},
 booktitle = {Proceedings of the Ninth International Conference on Generative Programming and Component Engineering},
 series = {GPCE '10},
 year = {2010},
 isbn = {978-1-4503-0154-1},
 location = {Eindhoven, The Netherlands},
 pages = {127--136},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1868294.1868314},
 doi = {10.1145/1868294.1868314},
 acmid = {1868314},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {code generation, domain-specific languages, language virtualization, multi-stage programming},
}

@inproceedings{Ofenbeck:2013:SST:2517208.2517228,
 author = {Ofenbeck, Georg and Rompf, Tiark and Stojanov, Alen and Odersky, Martin and P\"{u}schel, Markus},
 title = {Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries},
 booktitle = {Proceedings of the 12th International Conference on Generative Programming: Concepts \&\#38; Experiences},
 series = {GPCE '13},
 year = {2013},
 isbn = {978-1-4503-2373-4},
 location = {Indianapolis, Indiana, USA},
 pages = {125--134},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2517208.2517228},
 doi = {10.1145/2517208.2517228},
 acmid = {2517228},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstraction over staging, data representation, scalar replacement, selective precomputation, synthesis},
}

@inproceedings{ErnstKC98,
   author = {Michael D. Ernst and Craig S. Kaplan and Craig Chambers},
   title = {Predicate dispatching: A unified theory of dispatch},
   booktitle = {ECOOP '98, the 12th European Conference on Object-Oriented
	Programming},
   pages = {186--211},
   address = {Brussels, Belgium},
   month = {July~20-24,},
   year = {1998}
}

@article{binarymethods,
 author = {Bruce, Kim and Cardelli, Luca and Castagna, Giuseppe and Leavens, Gary T. and Pierce, Benjamin},
 title = {On Binary Methods},
 journal = {Theor. Pract. Object Syst.},
 issue_date = {Fall 1995},
 volume = {1},
 number = {3},
 month = dec,
 year = {1995},
 issn = {1074-3227},
 pages = {221--242},
 numpages = {22},
 url = {http://dl.acm.org/citation.cfm?id=230849.230854},
 acmid = {230854},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
}

% calls multiple dispatch *the* solution to typing binary (n-ary) methods
@article{Castagna:1995:CCC:203095.203096,
 author = {Castagna, Giuseppe},
 title = {Covariance and Contravariance: Conflict Without a Cause},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {May 1995},
 volume = {17},
 number = {3},
 month = may,
 year = {1995},
 issn = {0164-0925},
 pages = {431--447},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/203095.203096},
 doi = {10.1145/203095.203096},
 acmid = {203096},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {object-oriented languages, type theory},
}

@article{Castagna:1995:COF:203496.203510,
 author = {Castagna, Giuseppe and Ghelli, Giorgio and Longo, Giuseppe},
 title = {A Calculus for Overloaded Functions with Subtyping},
 journal = {Inf. Comput.},
 issue_date = {Feb. 15, 1995},
 volume = {117},
 number = {1},
 month = feb,
 year = {1995},
 issn = {0890-5401},
 pages = {115--135},
 numpages = {21},
 url = {http://dx.doi.org/10.1006/inco.1995.1033},
 doi = {10.1006/inco.1995.1033},
 acmid = {203510},
 publisher = {Academic Press, Inc.},
 address = {Duluth, MN, USA},
}

@inproceedings{Bourdoncle:1997:TCH:263699.263743,
 author = {Bourdoncle, Fran\c{c}ois and Merz, Stephan},
 title = {Type Checking Higher-order Polymorphic Multi-methods},
 booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '97},
 year = {1997},
 isbn = {0-89791-853-3},
 location = {Paris, France},
 pages = {302--315},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/263699.263743},
 doi = {10.1145/263699.263743},
 acmid = {263743},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Smith:2008:JTI:1449764.1449804,
 author = {Smith, Daniel and Cartwright, Robert},
 title = {Java Type Inference is Broken: Can We Fix It?},
 booktitle = {Proceedings of the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications},
 series = {OOPSLA '08},
 year = {2008},
 isbn = {978-1-60558-215-3},
 location = {Nashville, TN, USA},
 pages = {505--524},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/1449764.1449804},
 doi = {10.1145/1449764.1449804},
 acmid = {1449804},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {bounded quantification, generics, intersection types, parameterized types, polymorphic methods, subtyping, type argument inference, type inference, union types, wildcards},
}

@inproceedings{Igarashi,
 author = {Igarashi, Atsushi and Nagira, Hideshi},
 title = {Union Types for Object-oriented Programming},
 booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing},
 series = {SAC '06},
 year = {2006},
 isbn = {1-59593-108-2},
 location = {Dijon, France},
 pages = {1435--1441},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/1141277.1141610},
 doi = {10.1145/1141277.1141610},
 acmid = {1141610},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {java, language design, language semantics, subtyping, union types},
}

@inproceedings{polyduce1,
 author = {G. Castagna and K. Nguyen and Z. Xu and H. Im and S. Lenglet and L. Padovani},
 title = {Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation},
 booktitle = {POPL\,'14, 41th ACM Symposium on Principles of Programming Languages},
 year = {2014},
 pages = {5--17},
 month = {jan},
}

@inproceedings{Bolz2013,
address = {New York, New York, USA},
author = {Bolz, Carl Friedrich and Diekmann, Lukas and Tratt, Laurence},
booktitle = {Proc. 2013 ACM SIGPLAN Int. Conf. Object oriented Program. Syst. Lang. Appl. - OOPSLA '13},
doi = {10.1145/2509136.2509531},
pages = {167--182},
publisher = {ACM Press},
title = {Storage strategies for collections in dynamically typed languages},
year = {2013}
}

@article{Pierce1994131,
title = "Bounded Quantification Is Undecidable",
journal = "Information and Computation ",
volume = "112",
number = "1",
pages = "131 - 165",
year = "1994",
note = "",
issn = "0890-5401",
doi = "http://dx.doi.org/10.1006/inco.1994.1055",
url = "http://www.sciencedirect.com/science/article/pii/S0890540184710558",
author = "B.C. Pierce",
abstract = "F≤ is a typed λ-calculus with subtyping and bounded second-order polymorphism. First introduced by Cardelli and Wegner, it has been widely studied as a core calculus for type systems with subtyping. We use a reduction from the halting problem for two-counter Turing machines to show that the subtyping and typing relations of F≤ are undecidable. "
}

@inproceedings{Castagna:1994:DBQ:174675.177844,
 author = {Castagna, Giuseppe and Pierce, Benjamin C.},
 title = {Decidable Bounded Quantification},
 booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '94},
 year = {1994},
 isbn = {0-89791-636-0},
 location = {Portland, Oregon, USA},
 pages = {151--162},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/174675.177844},
 doi = {10.1145/174675.177844},
 acmid = {177844},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@TechReport{lawn181,
 URL	       = "http://www.netlib.org/lapack/lawnspdf/lawn181.pdf",
 number       = 181,
 institution  = "LAPACK Working Note",
 author       = "James W. Demmel and Jack J. Dongarra and Beresford
                 N.  Parlett and William Kahan and Ming Gu and David
                 S.  Bindel and Yozo Hida and Xiaoye S. Li and Osni
                 A.  Marques and E. Jason Riedy and Christof Vomel
                 and Julien Langou and Piotr Luszczek and Jakub
                 Kurzak and Alfredo Buttari and Julie Langou and
                 Stanimire Tomov",
 title	       = "Prospectus for the Next {LAPACK} and {ScaLAPACK}
                 Libraries",
 utknumber    = "UT-CS-07-592",
 month	       = feb,
 year	       = 2007,
}

@misc{hoareessay,
author = {Hoare, Graydon},
title = {technicalities: interactive scientific computing \#1 of 2, pythonic parts},
journal = {frog hop},
type = {Blog},
number = {March 9},
year = {2014},
howpublished = {\url{http://graydon2.dreamwidth.org/3186.html}}
}

@misc{rust,
author={rust},
howpublished={\url{http://www.rust-lang.org/}}
}

@misc{matlab,
author={matlab},
howpublished={\url{http://www.mathworks.com}}
}

@manual{matlabman:mi,
	Address = {Natick, MA},
	Edition = {R2014a},
	Organization = {MathWorks, Inc.},
	Title = {{MATLAB} Manual: Matrix indexing},
	Url = {http://www.mathworks.com/help/matlab/math/matrix-indexing.html},
}

@manual{matlabman:mldivide,
	Address = {Natick, MA},
	Edition = {R2014b},
	Organization = {MathWorks, Inc.},
	Title = {{MATLAB} Manual: mldivide},
	Url = {http://www.mathworks.com/help/matlab/ref/mldivide.html},
}

@manual{matlabman:linspace,
	Address = {Natick, MA},
	Edition = {R2014b},
	Organization = {MathWorks, Inc.},
	Title = {{MATLAB} Manual: linspace},
	Url = {http://www.mathworks.com/help/matlab/ref/linspace.html},
}

@manual{matlabman:ma,
	Address = {Natick, MA},
	Doi = {http://www.mathworks.com/help/matlab/math/multidimensional-arrays.html},
	Edition = {R2014a},
	Organization = {MathWorks, Inc.},
	Title = {{MATLAB} Manual: Multidimensional arrays},
}

@article{Eddins:2001fr,
	Author = {Steve Eddins and Loren Shure},
	Journal = {Mathworks Newsletter},
	Month = {September},
	Title = {Matrix indexing in {MATLAB}},
	Url = {http://www.mathworks.com/company/newsletters/articles/matrix-indexing-in-matlab.html},
	Year = {2001},
}

@book{1998matlab,
  title={Getting Started with {MATLAB}. Version 5},
  url={https://books.google.com/books?id=EwhNmAEACAAJ},
  year={1998},
  publisher={MATHWORKS Incorporated}
}

@misc{clang,
author={clang},
howpublished={\url{http://clang.llvm.org/}}
}

@misc{mitlicense,
author={{MIT} License},
howpublished={\url{http://opensource.org/licenses/MIT}}
}

@misc{mathematica,
author={mathematica},
howpublished={\url{http://www.mathematica.com}}
}

% misc{jump,
% author={Lubin, M. and Dunning, I.},
% title={{C}omputing in {O}perations {R}esearch using {J}ulia},
% howpublished={\url{arXiv:1312.1431}}
% }

@article{LubinDunningIJOC,
author = {Miles Lubin and Iain Dunning},
title = {Computing in Operations Research Using Julia},
journal = {INFORMS Journal on Computing},
volume = {27},
number = {2},
pages = {238-248},
year = {2015},
doi = {10.1287/ijoc.2014.0623},
URL = {http://dx.doi.org/10.1287/ijoc.2014.0623}
}

@book{fourer1993ampl,
  title={{AMPL}},
  author={Fourer, Robert and Gay, David M and Kernighan, Brian},
  volume={119},
  year={1993},
  publisher={Boyd \& Fraser}
}

@inproceedings{Freeman:1991:RTM:113445.113468,
 author = {Freeman, Tim and Pfenning, Frank},
 title = {Refinement Types for {ML}},
 booktitle = {Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation},
 series = {PLDI '91},
 year = {1991},
 isbn = {0-89791-428-7},
 location = {Toronto, Ontario, Canada},
 pages = {268--277},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/113445.113468},
 doi = {10.1145/113445.113468},
 acmid = {113468},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{RonchiDellaRocca:1988:PTS:55079.55086,
 author = {Ronchi Della Rocca, S.},
 title = {Principal Type Scheme and Unification for Intersection Type Discipline},
 journal = {Theor. Comput. Sci.},
 issue_date = {July 1988},
 volume = {59},
 number = {1-2},
 month = jul,
 year = {1988},
 issn = {0304-3975},
 pages = {181--209},
 numpages = {29},
 url = {http://dx.doi.org/10.1016/0304-3975(88)90101-6},
 doi = {10.1016/0304-3975(88)90101-6},
 acmid = {55086},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
}

@inproceedings{Dunfield:2012:EIU:2364527.2364534,
 author = {Dunfield, Joshua},
 title = {Elaborating Intersection and Union Types},
 booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '12},
 year = {2012},
 isbn = {978-1-4503-1054-3},
 location = {Copenhagen, Denmark},
 pages = {17--28},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2364527.2364534},
 doi = {10.1145/2364527.2364534},
 acmid = {2364534},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {intersection types},
}

@incollection{uniontypessemi,
year={2000},
isbn={978-3-540-41481-0},
booktitle={Research Issues in Structured and Semistructured Database Programming},
volume={1949},
series={Lecture Notes in Computer Science},
editor={Connor, Richard and Mendelzon, Alberto},
doi={10.1007/3-540-44543-9_12},
title={Union Types for Semistructured Data},
url={http://dx.doi.org/10.1007/3-540-44543-9_12},
publisher={Springer Berlin Heidelberg},
author={Buneman, Peter and Pierce, Benjamin},
pages={184-207},
language={English}
}

@incollection{categorytheoryoperators,
year={1980},
isbn={978-3-540-10250-2},
booktitle={Semantics-Directed Compiler Generation},
volume={94},
series={Lecture Notes in Computer Science},
editor={Jones, NeilD.},
doi={10.1007/3-540-10250-7_24},
title={Using category theory to design implicit conversions and generic operators},
url={http://dx.doi.org/10.1007/3-540-10250-7_24},
publisher={Springer Berlin Heidelberg},
author={Reynolds, JohnC.},
pages={211-258},
language={English}
}

@online{ufixed,
title = {Parametric color types},
author = {Karpinski, Stefan and Holy, Tim and Danisch, Simon},
year = 2014,
note = {\url{http://github.com/JuliaLang/Color.jl/issues/42}},
}

@online{Fischer:2014si,
title = {{SI} units package},
author = {Keno Fischer},
year = 2014,
note = {\url{https://github.com/Keno/SIUnits.jl}},
}

@online{evanmiller,
title = {Why {I}'m Betting on Julia},
author = {Evan Miller},
year = 2014,
note = {\url{http://www.evanmiller.org/why-im-betting-on-julia.html}},
}
% getting disparate groups of programmers to code in the same language...
% With Node.js, it was the front-end designers and the back-end developers.
% With Julia, it's the domain experts and the speed freaks

@online{jasonmerrill,
title={Julia vs {M}athematica ({W}olfram language): high-level features},
author={Jason Merrill},
year = 2014,
note = {\url{https://groups.google.com/d/topic/julia-users/EQH5LJZqe8k/discussion}},
}

@online{bobharperdsl,
title={There Is Such A Thing As A Declarative Language, and It's The World's Best {DSL}},
author={Robert Harper},
year = 2013,
note = {\url{https://existentialtype.wordpress.com/2013/07/22/there-is-such-a-thing-as-a-declarative-language/}},
}

% `Dynamic` type; mentions I/O example
@article{Abadi:1991:DTS:103135.103138,
 author = {Abadi, Mart\'{\i}n and Cardelli, Luca and Pierce, Benjamin and Plotkin, Gordon},
 title = {Dynamic Typing in a Statically Typed Language},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {April 1991},
 volume = {13},
 number = {2},
 month = apr,
 year = {1991},
 issn = {0164-0925},
 pages = {237--268},
 numpages = {32},
 url = {http://doi.acm.org/10.1145/103135.103138},
 doi = {10.1145/103135.103138},
 acmid = {103138},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {theory},
}

% GADTs
@inproceedings{Xi:2003:GRD:604131.604150,
 author = {Xi, Hongwei and Chen, Chiyan and Chen, Gang},
 title = {Guarded Recursive Datatype Constructors},
 booktitle = {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '03},
 year = {2003},
 isbn = {1-58113-628-5},
 location = {New Orleans, Louisiana, USA},
 pages = {224--235},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/604131.604150},
 doi = {10.1145/604131.604150},
 acmid = {604150},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {guarded recursive datatype constructors},
}

% generic functions in ML, typecase within parametrically-polymorphic functions
@inproceedings{Dubois:1995:EP:199448.199473,
 author = {Dubois, Catherine and Rouaix, Fran\c{c}ois and Weis, Pierre},
 title = {Extensional Polymorphism},
 booktitle = {Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '95},
 year = {1995},
 isbn = {0-89791-692-1},
 location = {San Francisco, California, USA},
 pages = {118--129},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/199448.199473},
 doi = {10.1145/199448.199473},
 acmid = {199473},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Caml, ML, ad-hoc polymorphism, debugging, dynamics, functional language, genericity, polymorphism, type checking},
}

@inproceedings{Glew:2013:MLD:2502409.2502412,
 author = {Glew, Neal and Sweeney, Tim and Petersen, Leaf},
 title = {A Multivalued Language with a Dependent Type System},
 booktitle = {Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-typed Programming},
 series = {DTP '13},
 year = {2013},
 isbn = {978-1-4503-2384-0},
 location = {Boston, Massachusetts, USA},
 pages = {25--36},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2502409.2502412},
 doi = {10.1145/2502409.2502412},
 acmid = {2502412},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dependent types, multivalued term language, type:type},
}

@book{cardelli1986polymorphic,
  title={A Polymorphic $\lambda$-calculus with {T}ype:{T}ype},
  author={Cardelli, Luca},
  year={1986},
  publisher={Digital Systems Research Center}
}

@inproceedings{vasilev2012cling,
  title={Cling--The New Interactive Interpreter for {ROOT} 6},
  author={Vasilev, V and Canal, Ph and Naumann, A and Russo, P},
  booktitle={Journal of Physics: Conference Series},
  volume={396},
  number={5},
  pages={052071},
  year={2012},
  organization={IOP Publishing}
}

@incollection{ou2004dynamic,
  title={Dynamic typing with dependent types},
  author={Ou, Xinming and Tan, Gang and Mandelbaum, Yitzhak and Walker, David},
  booktitle={Exploring new frontiers of theoretical informatics},
  pages={437--450},
  year={2004},
  publisher={Springer}
}

@INPROCEEDINGS{1029823, 
author={Frisch, A. and Castagna, G. and Benzaken, V.}, 
booktitle={Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on}, 
title={Semantic subtyping}, 
year={2002}, 
month={}, 
pages={137-146}, 
keywords={programming language semantics;type theory;XML documents;axiomatized subtyping;error prone proofs;formal system;operational semantics;semantic subtyping;set-theoretic model;subtyping relations;type algebra;untyped denotational model;Algebra;Databases;Programming profession;XML}, 
doi={10.1109/LICS.2002.1029823}, 
ISSN={1043-6871},}

@inproceedings{Castagna:2005:GIS:1069774.1069793,
 author = {Castagna, Giuseppe and Frisch, Alain},
 title = {A Gentle Introduction to Semantic Subtyping},
 booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming},
 series = {PPDP '05},
 year = {2005},
 isbn = {1-59593-090-6},
 location = {Lisbon, Portugal},
 pages = {198--199},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1069774.1069793},
 doi = {10.1145/1069774.1069793},
 acmid = {1069793},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {intersection, negation types, subtyping, typing, union},
}

@inproceedings{Cas05b,
	author = {G. Castagna},
	title = {Semantic subtyping: challenges, perspectives, and open problems},
	booktitle = {ICTCS 2005, Italian Conference on Theoretical Computer Science},
	year = {2005},
	number = {3701},
	series = {Lecture Notes in Computer Science},
	pages = {1--20},
	publisher = {Springer},
}

@article{CDV08,
	author = {G. Castagna and R. {De Nicola} and D. Varacca},
	title = {Semantic subtyping for the $\pi$-calculus},
	journal = {Theoretical Computer Science},
	year = {2008},
	volume = {398},
	number = {1-3},
	pages = {217-242},
	note = {Essays in honour of Mario Coppo, Mariangiola Dezani-Ciancaglini and Simona Ronchi della Rocca},
}

@inbook{knuth1969art,
  title={The Art of Computer Programming, Vol. 2: Seminumerical Algorithms},
  publisher={Addison-Wesley},
  author={Knuth, Donald E},
  year={1969}
}
%  journal={Reading, MA},
  %pages={229--279},
% section 4.6.4 equation 3

@article{ReidWhJo14,
  pdf = {ReidWhJo14.pdf},
  author = {M. T. Homer Reid and Jacob K. White and Steven G. Johnson},
  title = {Generalized {Taylor}--{Duffy} Method for Efficient Evaluation of {Galerkin} Integrals in Boundary-Element Method Computations},
  journal = {IEEE Transactions on Antennas and Propagation},
  year = 2014,
  volume = {PP},
  pages = {1--16},
  eprint = {arXiv:1312.1703},
  month = {November},
  doi = {doi:10.1109/TAP.2014.2367492},
  abstract = {We present a generic technique, automated by computer-algebra systems and available as open-source software, for efficient numerical evaluation of a large family of singular and nonsingular 4-dimensional integrals over triangleproduct domains, such as those arising in the boundary-element method (BEM) of computational electromagnetism. Previously, practical implementation of BEM solvers often required the aggregation of multiple disparate integral-evaluation schemes in order to treat all of the distinct types of integrals needed for a given BEM formulation; in contrast, our technique allows many different types of integrals to be handled by the same algorithm and the same code implementation. Our method is a significant generalization of the Taylor--Duffy approach, which was originally presented for just a single type of integrand; in addition to generalizing this technique to a broad class of integrands, we also achieve a significant improvement in its efficiency by showing how the dimension of the final numerical integral may often reduced by one. In particular, if n is the number of common vertices between the two triangles, in many cases we can reduce the dimension of the integral from $4−n$ to $3−n$, obtaining a closed-form analytical result for $n=3$ (the common-triangle case). }
}

@inproceedings{oliphant2012numba,
  title={Numba python bytecode to {LLVM} translator},
  author={Oliphant, Travis},
  booktitle={Proceedings of the Python for Scientific Computing Conference (SciPy)},
  year={2012}
}

% a problem-specific python JIT
@misc{hopepython,
author = {Akeret, Joel and Gamper, Lukas and Amara, Adam and Refregier, Alexandre},
title = {{HOPE}: A Python Just-In-Time compiler for astrophysical computations},
year = {2014},
howpublished = {\url{arXiv:1410.4345}}
}

@book{snir1998mpi,
  title={{MPI}--the Complete Reference: The {MPI} core},
  author={Snir, Marc},
  volume={1},
  year={1998},
  publisher={MIT press}
}

@inproceedings{meyerovich2012socio,
  title={Socio-{PLT}: Principles for programming language adoption},
  author={Meyerovich, Leo A and Rabkin, Ariel S},
  booktitle={Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software},
  pages={39--54},
  year={2012},
  organization={ACM}
}

@inproceedings{Meyerovich:2013:EAP:2509136.2509515,
 author = {Meyerovich, Leo A. and Rabkin, Ariel S.},
 title = {Empirical Analysis of Programming Language Adoption},
 booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \&\#38; Applications},
 series = {OOPSLA '13},
 year = {2013},
 isbn = {978-1-4503-2374-1},
 location = {Indianapolis, Indiana, USA},
 pages = {1--18},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/2509136.2509515},
 doi = {10.1145/2509136.2509515},
 acmid = {2509515},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {programming language adoption, survey research},
}

@article{wadler1998expression,
  title={The expression problem},
  author={Wadler, Philip},
  journal={Java-genericity mailing list},
  year={1998}
}

% references: Structural subtyping and the notion of power type
@article{abadi1995dynamic,
  title={Dynamic typing in polymorphic languages},
  author={Abadi, Martin and Cardelli, Luca and Pierce, Benjamin and R{\'e}my, Didier},
  journal={Journal of functional programming},
  volume={5},
  number={01},
  pages={111--130},
  year={1995},
  publisher={Cambridge Univ Press}
}

% papers on XML type systems
@inproceedings{hosoya2000xduce,
  title={{XD}uce: A typed {XML} processing language},
  author={Hosoya, Haruo and Pierce, Benjamin C},
  booktitle={Third International Workshop on the Web and Databases (WebDB2000)},
  volume={1997},
  pages={226--244},
  year={2000},
  organization={Springer}
}

@inproceedings{hosoya2000regular,
  title={Regular expression types for XML},
  author={Hosoya, Haruo and Vouillon, J{\'e}r{\^o}me and Pierce, Benjamin C},
  booktitle={ACM SIGPLAN Notices},
  volume={35},
  number={9},
  pages={11--22},
  year={2000},
  organization={ACM}
}

@inproceedings{BCF03,
	author = {V. Benzaken and G. Castagna and A. Frisch},
	title = {{CD}uce: an {XML}-Centric General-Purpose Language},
	booktitle = {ICFP~'03, 8th ACM International Conference on Functional Programming},
	year = {2003},
	pages = {51--63},
	address = {Uppsala, Sweden},
	publisher = {ACM Press},
}

@inproceedings{hosoya2005parametric,
  title={Parametric polymorphism for {XML}},
  author={Hosoya, Haruo and Frisch, Alain and Castagna, Giuseppe},
  booktitle={ACM SIGPLAN Notices},
  volume={40},
  number={1},
  pages={50--62},
  year={2005},
  organization={ACM}
}

% semantic subtyping and XML types in OO languages
@incollection{xtatic,
year={2003},
isbn={978-3-540-40531-3},
booktitle={ECOOP 2003 – Object-Oriented Programming},
volume={2743},
series={Lecture Notes in Computer Science},
editor={Cardelli, Luca},
doi={10.1007/978-3-540-45070-2_8},
title={Regular Object Types},
url={http://dx.doi.org/10.1007/978-3-540-45070-2_8},
publisher={Springer Berlin Heidelberg},
author={Gapeyev, Vladimir and Pierce, BenjaminC.},
pages={151-175},
language={English}
}

@article{Kaes:1992:TIP:141478.141540,
 author = {Kaes, Stefan},
 title = {Type Inference in the Presence of Overloading, Subtyping and Recursive Types},
 journal = {SIGPLAN Lisp Pointers},
 issue_date = {Jan. 1992},
 volume = {V},
 number = {1},
 month = jan,
 year = {1992},
 issn = {1045-3563},
 pages = {193--204},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/141478.141540},
 doi = {10.1145/141478.141540},
 acmid = {141540},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Keller:2010rs,
	Address = {New York, NY, USA},
	Annote = {Repa1},
	Author = {Keller, Gabriele and Chakravarty, Manuel M.T. and Leshchinskiy, Roman and Peyton Jones, Simon and Lippmeier, Ben},
	Booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming},
	Date-Added = {2014-03-28 19:38:50 +0000},
	Date-Modified = {2014-03-28 19:39:07 +0000},
	Doi = {10.1145/1863543.1863582},
	Pages = {261--272},
	Publisher = {ACM},
	Series = {ICFP '10},
	Title = {Regular, Shape-polymorphic, Parallel Arrays in {H}askell},
	Year = {2010},
	Bdsk-Url-1 = {http://dx.doi.org/10.1145/1863543.1863582}
}

@article{Rathgeber2015,
  title = {Firedrake: automating the finite element method by composing abstractions},
  author = {Rathgeber, Florian and Ham, David A and Mitchell, Lawrence and Lange, Michael and Luporini, Fabio and McRae, Andrew TT and Bercea, Gheorghe-Teodor and Markall, Graham R and Kelly, Paul HJ},
  archiveprefix = {arXiv},
  journal = {Submitted to ACM TOMS},
  eprint = {1501.01809},
  year = {2015}
}

@inbook{LoggOlgaardEtAl2012a,
  title = {{FFC}: the {FEniCS} Form Compiler},
  author = {Anders Logg and Kristian B. \O{}lgaard and Marie E. Rognes and Garth N. Wells},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {11},
}

@Article{FFTW05,
  author = 	 {Frigo, Matteo and Johnson, Steven~G.},
  title = 	 {The Design and Implementation of {FFTW3}},
  journal = 	 {Proceedings of the IEEE},
  year = 	 2005,
  volume =	 93,
  number =	 2,
  pages =	 {216--231},
  note =	 {Special issue on ``Program Generation, Optimization, and Platform Adaptation''}
}

@inproceedings{tang2011pochoir,
  title={The pochoir stencil compiler},
  author={Tang, Yuan and Chowdhury, Rezaul Alam and Kuszmaul, Bradley C and Luk, Chi-Keung and Leiserson, Charles E},
  booktitle={Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures},
  pages={117--128},
  year={2011},
  organization={ACM}
}

@PhDThesis{Joerg96,
address	= {Cambridge, Massachusetts},
author	= {Christopher F. Joerg},
month	= jan,
note	= {Available as MIT Laboratory for Computer Science Technical Report MIT/LCS/TR-701.},
school	= {Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology},
title	= {The {Cilk} System for Parallel Multithreaded Computing},
year	= {1996}
}

@PhDThesis{Randall98,
author	= {Keith H. Randall},
month	= may,
school	= {Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology},
title	= {Cilk: Efficient Multithreaded Computing},
year	= {1998}
}

@article{baumgartner2005synthesis,
  title={Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models},
  author={Baumgartner, Gerald and Auer, Alexander and Bernholdt, David E and Bibireata, Alina and Choppella, Venkatesh and Cociorva, Daniel and Gao, Xiaoyang and Harrison, Robert J and Hirata, So and Krishnamoorthy, Sriram and others},
  journal={Proceedings of the IEEE},
  volume={93},
  number={2},
  pages={276--292},
  year={2005},
  publisher={IEEE}
}

@INPROCEEDINGS{pyop2,
author={Rathgeber, F. and Markall, G.R. and Mitchell, L. and Loriant, N. and Ham, D.A. and Bertolli, C. and Kelly, P.H.J.},
booktitle={High Performance Computing, Networking, Storage and Analysis (SCC), 2012 SC Companion:},
title={{PyOP2}: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes},
year={2012},
month={Nov},
pages={1116-1123},
keywords={computational fluid dynamics;mathematics computing;mesh generation;parallel programming;program compilers;scheduling;specification languages;Fluidity CFD code;PyOP2 language;computational fluid dynamics;domain-specific unified form language;finite element computation;generative metaprogramming;high-level embedded domain-specific language;just-in-time kernel compilation;many-core platform;parallel implementation;parallel scheduling;performance portability;performance-portable simulation;unstructured mesh;code generation;domain-specific languages;finite-element methods;generative metaprogramming;high-level frameworks;just-in-time compilation;performance portability},
doi={10.1109/SC.Companion.2012.134},}

@article{chamberlain2007parallel,
  title={Parallel programmability and the chapel language},
  author={Chamberlain, Bradford L and Callahan, David and Zima, Hans P},
  journal={International Journal of High Performance Computing Applications},
  volume={21},
  number={3},
  pages={291--312},
  year={2007},
  publisher={SAGE Publications}
}

@inproceedings{Dragos:2009:CGT:1565824.1565830,
 author = {Dragos, Iulian and Odersky, Martin},
 title = {Compiling Generics Through User-directed Type Specialization},
 booktitle = {Proceedings of the 4th Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems},
 series = {ICOOOLPS '09},
 year = {2009},
 isbn = {978-1-60558-541-3},
 location = {Genova, Italy},
 pages = {42--47},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/1565824.1565830},
 doi = {10.1145/1565824.1565830},
 acmid = {1565830},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {boxing, specialization},
}

@misc{varda2008protocol,
  title={Protocol buffers: Google’s data interchange format},
  author={Varda, Kenton},
  journal={2008-06-24]. http://google-opensource, blogspot, com/2008/07/protocol-huffers-googles-data. html},
  year={2008}
}

@book{cline1995c++,
  title={{C}++ {FAQ}s},
  author={Cline, Marshall P and Lomow, Greg A},
  year={1995},
  publisher={Addison-Wesley}
}

@article{garcia2005multiarray,
  title={Multi{A}rray: a {C}++ library for generic programming with arrays},
  author={Garcia, Ronald and Lumsdaine, Andrew},
  journal={Software: Practice and Experience},
  volume={35},
  number={2},
  pages={159--188},
  year={2005},
  publisher={Wiley Online Library}
}

@misc{guennebaud2014eigen,
  title={Eigen: A {C}++ Linear Algebra Library},
  author={Guennebaud, G and Jacob, B and others},
  year={2014},
  publisher={Version}
}

@inproceedings{grcevski2004java,
  title={Java Just-in-Time Compiler and Virtual Machine Improvements for Server and Middleware Applications.},
  author={Grcevski, Nikola and Kielstra, Allan and Stoodley, Kevin and Stoodley, Mark G and Sundaresan, Vijay},
  booktitle={Virtual Machine Research and Technology Symposium},
  pages={151--162},
  year={2004}
}

@article{Suganuma:2005:DED:1075382.1075386,
 author = {Suganuma, Toshio and Yasue, Toshiaki and Kawahito, Motohiro and Komatsu, Hideaki and Nakatani, Toshio},
 title = {Design and Evaluation of Dynamic Optimizations for a Java Just-in-time Compiler},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {July 2005},
 volume = {27},
 number = {4},
 month = jul,
 year = {2005},
 issn = {0164-0925},
 pages = {732--785},
 numpages = {54},
 url = {http://doi.acm.org/10.1145/1075382.1075386},
 doi = {10.1145/1075382.1075386},
 acmid = {1075386},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {JIT compiler, Recompilation, adaptive optimization, code specialization, dynamic compilation, profile-directed method inlining},
}

@article{Dean:1994:TBI:182590.182489,
 author = {Dean, Jeffrey and Chambers, Craig},
 title = {Towards Better Inlining Decisions Using Inlining Trials},
 journal = {SIGPLAN Lisp Pointers},
 issue_date = {July-Sept. 1994},
 volume = {VII},
 number = {3},
 month = jul,
 year = {1994},
 issn = {1045-3563},
 pages = {273--282},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/182590.182489},
 doi = {10.1145/182590.182489},
 acmid = {182489},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Rabin1980128,
title = "Probabilistic algorithm for testing primality ",
journal = "Journal of Number Theory ",
volume = "12",
number = "1",
pages = "128 - 138",
year = "1980",
note = "",
issn = "0022-314X",
doi = "http://dx.doi.org/10.1016/0022-314X(80)90084-0",
url = "http://www.sciencedirect.com/science/article/pii/0022314X80900840",
author = "Michael O Rabin"
}

@inproceedings{Stone:2000:DTE:325694.325724,
 author = {Stone, Christopher A. and Harper, Robert},
 title = {Deciding Type Equivalence in a Language with Singleton Kinds},
 booktitle = {Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '00},
 year = {2000},
 isbn = {1-58113-125-9},
 location = {Boston, MA, USA},
 pages = {214--227},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/325694.325724},
 doi = {10.1145/325694.325724},
 acmid = {325724},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{mitchell2011pulp,
  title={{P}u{LP}: a linear programming toolkit for python},
  author={Mitchell, Stuart and O’Sullivan, Michael and Dunning, Iain},
  journal={The University of Auckland, Auckland, New Zealand},
  year={2011},
  publisher={Citeseer}
}

@article{wilbers2009using,
  title={Using cython to speed up numerical python programs},
  author={Wilbers, Ilmar M and Langtangen, Hans Petter and {\O}deg{\aa}rd, {\AA}smund},
  journal={Proceedings of MekIT},
  volume={9},
  pages={495--512},
  year={2009}
}

@online{timholytrait,
title = {Traits using multiple dispatch},
author = {Tim Holy},
year = 2014,
note = {\url{https://github.com/JuliaLang/julia/issues/2345#issuecomment-54537633}},
}

@article{Loitsch:2010:PFN:1809028.1806623,
 author = {Loitsch, Florian},
 title = {Printing Floating-point Numbers Quickly and Accurately with Integers},
 journal = {SIGPLAN Not.},
 issue_date = {June 2010},
 volume = {45},
 number = {6},
 month = jun,
 year = {2010},
 issn = {0362-1340},
 pages = {233--243},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1809028.1806623},
 doi = {10.1145/1809028.1806623},
 acmid = {1806623},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dtoa, floating-point printing},
}

@online{grisu,
title = {Grisu algorithm in Julia},
author = {Jacob Quinn},
year = 2014,
note = {\url{https://github.com/JuliaLang/julia/pull/7291}},
}

@article{Marsaglia:Tsang:2000:JSSOBK:v05i08,
  author =	"George Marsaglia and Wai Wan Tsang",
  title =	"The Ziggurat Method for Generating Random Variables",
  journal =	"Journal of Statistical Software",
  volume =	"5",
  number =	"8",
  pages =	"1--7",
  day =  	"2",
  month =	"10",
  year = 	"2000",
  CODEN =	"JSSOBK",
  ISSN = 	"1548-7660",
  bibdate =	"2000-10-02",
  URL =  	"http://www.jstatsoft.org/v05/i08",
  accepted =	"2000-10-02",
  acknowledgement = "",
  keywords =	"",
  submitted =	"2000-04-15",
}

@Book{Boyd01,
  author =       {J. P. Boyd},
  title =        {Chebyshev and Fourier Spectral Methods},
  publisher =    {Dover},
  year =         2001,
  edition =      {2nd},
  address =      {New York, NY, USA}
}

@Book{Bonnet99,
  author =       {Marc Bonnet},
  title =        {Boundary Integral Equation Methods for Solids and Fluids},
  publisher =    {Wiley},
  year =         1999,
  address =      {Chichester, England}
}

@Book{Zienkiewicz13,
  author =    {Olek C. Zienkiewicz and Robert L. Taylor and J. Z. Zhu},
  title =        {The Finite Element Method: Its Basis and Fundamentals},
  publisher =    {Butterworth-Heinemann},
  year =         1967,
  address =   {Oxford, England},
  edition =   {7th}
}

@Book{FEniCS12,
  author =    {Anders Logg and Kent-Andre Mardal and Garth Wells},
  title =        {Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book},
  publisher =    {Springer},
  year =         2012,
  series =    {Lecture Notes in Computational Science and Engineering},
  address =   {New York, NY, USA}
}

@article {MR3043640,
    AUTHOR = {Hecht, F.}, TITLE = {New development in FreeFem++},
   JOURNAL = {J. Numer. Math.},  FJOURNAL = {Journal of Numerical Mathematics},
    VOLUME = {20}, YEAR = {2012},
    NUMBER = {3-4}, PAGES = {251--265},
      ISSN = {1570-2820}, MRCLASS = {65Y15}, MRNUMBER = {3043640},
}

@Book{Chew09,
  author =    {Weng Cho Chew and Mei Song Tong and Bin Hu},
  title =        {Integral Equation Methods for Electromagnetic and Elastic Waves},
  publisher =    {Morgan and Claypool},
  year =         2007,
  series =    {Synthesis Lectures on Computational Electromagnetics},
  address =   {San Rafael, CA}}

@Book{Chew01,
  editor =       {Weng Cho Chew and Jian-Ming Jin and Eric Michielssen and Jiming Song},
  title =        {Fast and Efficient Algorithms in Computational Electromagnetics},
  publisher =    {Artech},
  year =         2001,
  address =      {Norwood, MA}
}

@Book{Liu14,
  author =    {Yijun Liu},
  title =        {Fast Multipole Boundary Element Method: Theory and Applications in Engineering},
  publisher =    {Cambridge University Press},
  year =         2014,
  address =   {New York, NY, USA}
}

@inproceedings{Guo:2006:DIA:1146238.1146268,
 author = {Guo, Philip J. and Perkins, Jeff H. and McCamant, Stephen and Ernst, Michael D.},
 title = {Dynamic Inference of Abstract Types},
 booktitle = {Proceedings of the 2006 International Symposium on Software Testing and Analysis},
 series = {ISSTA '06},
 year = {2006},
 isbn = {1-59593-263-1},
 location = {Portland, Maine, USA},
 pages = {255--265},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1146238.1146268},
 doi = {10.1145/1146238.1146268},
 acmid = {1146268},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {C, C++, Java, abstract types, dynamic analysis, interaction, mixed-level analysis, type inference, units, values and variables},
}

@inproceedings{Plevyak:1994:PCT:191080.191130,
 author = {Plevyak, John and Chien, Andrew A.},
 title = {Precise Concrete Type Inference for Object-oriented Languages},
 booktitle = {Proceedings of the Ninth Annual Conference on Object-oriented Programming Systems, Language, and Applications},
 series = {OOPSLA '94},
 year = {1994},
 isbn = {0-89791-688-3},
 location = {Portland, Oregon, USA},
 pages = {324--340},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/191080.191130},
 doi = {10.1145/191080.191130},
 acmid = {191130},
 publisher = {ACM},
 address = {New York, NY, USA},
}

% "Julia’s Compiler isn’t Magic: The Language Design Is"
@online{jmw,
title={Julia’s Role in Data Science},
author={John Myles White},
year = 2013,
note = {\url{http://radar.oreilly.com/2013/10/julias-role-in-data-science.html}},
}

@online{typecheckjl,
title = {Type{C}heck.jl},
author = {Leah Hanson},
year = 2014,
note = {\url{https://github.com/astrieanna/TypeCheck.jl}},
}

@article{Millstein:2009:EMP:1462166.1462168,
 author = {Millstein, Todd and Frost, Christopher and Ryder, Jason and Warth, Alessandro},
 title = {Expressive and Modular Predicate Dispatch for {J}ava},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {February 2009},
 volume = {31},
 number = {2},
 month = feb,
 year = {2009},
 issn = {0164-0925},
 pages = {7:1--7:54},
 articleno = {7},
 numpages = {54},
 url = {http://doi.acm.org/10.1145/1462166.1462168},
 doi = {10.1145/1462166.1462168},
 acmid = {1462168},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Predicate dispatch, dynamic dispatch, modular typechecking},
}

@inproceedings{Ansel:2009:PLC:1542476.1542481,
 author = {Ansel, Jason and Chan, Cy and Wong, Yee Lok and Olszewski, Marek and Zhao, Qin and Edelman, Alan and Amarasinghe, Saman},
 title = {PetaBricks: A Language and Compiler for Algorithmic Choice},
 booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '09},
 year = {2009},
 isbn = {978-1-60558-392-1},
 location = {Dublin, Ireland},
 pages = {38--49},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1542476.1542481},
 doi = {10.1145/1542476.1542481},
 acmid = {1542481},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {adaptive, algorithmic choice, autotuning, compiler, implicitly parallel, language},
}

@inproceedings{Ansel:2014:OEF:2628071.2628092,
 author = {Ansel, Jason and Kamil, Shoaib and Veeramachaneni, Kalyan and Ragan-Kelley, Jonathan and Bosboom, Jeffrey and O'Reilly, Una-May and Amarasinghe, Saman},
 title = {OpenTuner: An Extensible Framework for Program Autotuning},
 booktitle = {Proceedings of the 23rd International Conference on Parallel Architectures and Compilation},
 series = {PACT '14},
 year = {2014},
 isbn = {978-1-4503-2809-8},
 location = {Edmonton, AB, Canada},
 pages = {303--316},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/2628071.2628092},
 doi = {10.1145/2628071.2628092},
 acmid = {2628092},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {autotuner, optimization},
}

@article{Puschel:2004:SGP:1080647.1080687,
 author = {P\"{u}schel, Markus and Moura, Jos{\'e} M. F. and Singer, Bryan and Xiong, Jianxin and Johnson, Jeremy and Padua, David and Veloso, Manuela and Johnson, Robert W.},
 title = {Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms},
 journal = {Int. J. High Perform. Comput. Appl.},
 issue_date = {February  2004},
 volume = {18},
 number = {1},
 month = feb,
 year = {2004},
 issn = {1094-3420},
 pages = {21--45},
 numpages = {25},
 url = {http://dx.doi.org/10.1177/1094342004041291},
 doi = {10.1177/1094342004041291},
 acmid = {1080687},
 publisher = {Sage Publications, Inc.},
 address = {Thousand Oaks, CA, USA},
 keywords = {DFT, FFT, Fourier transform, automatic performance tuning, domain-specific language, optimization, program generation, search, signal processing, signal transform},
}