bibliography.bib

%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Gerry Murray",
%%%     version         = "1.2",
%%%     date            = "2 April 2012",
%%%     filename        = "acmsmall-sample-bibfile.bib",
%%%     address         = "ACM, NY",
%%%     email           = "murray at hq.acm.org",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "ACM Reference Format, bibliography, citation, references",
%%%     supported       = "yes",
%%%     docstring       = "This BibTeX database file contains 'bibdata' entries
%%%                        that 'match' the examples provided in the Specifications Document
%%%                        AND, also, 'legacy'-type bibs. It should assist authors in 
%%%                        choosing the 'correct' at-bibtype and necessary bib-fields
%%%                        so as to obtain the appropriate ACM Reference Format output. 
%%%			   It also contains many 'Standard Abbreviations'. "
%%%  }
%%% ====================================================================

% Journals

% First the Full Name is given, then the abbreviation used in the AMS Math
% Reviews, with an indication if it could not be found there.
% Note the 2nd overwrites the 1st, so swap them if you want the full name.

 %{AMS}
 @String{AMSTrans = "American Mathematical Society Translations" }
 @String{AMSTrans = "Amer. Math. Soc. Transl." }
 @String{BullAMS = "Bulletin of the American Mathematical Society" }
 @String{BullAMS = "Bull. Amer. Math. Soc." }
 @String{ProcAMS = "Proceedings of the American Mathematical Society" }
 @String{ProcAMS = "Proc. Amer. Math. Soc." }
 @String{TransAMS = "Transactions of the American Mathematical Society" }
 @String{TransAMS = "Trans. Amer. Math. Soc." }

 %ACM
 @String{CACM = "Communications of the {ACM}" }
 @String{CACM = "Commun. {ACM}" }
 @String{CompServ = "Comput. Surveys" }
 @String{JACM = "J. ACM" }
 @String{ACMMathSoft = "{ACM} Transactions on Mathematical Software" }
 @String{ACMMathSoft = "{ACM} Trans. Math. Software" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newsletter" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newslett." }

 @String{AmerSocio = "American Journal of Sociology" }
 @String{AmerStatAssoc = "Journal of the American Statistical Association" }
 @String{AmerStatAssoc = "J. Amer. Statist. Assoc." }
 @String{ApplMathComp = "Applied Mathematics and Computation" }
 @String{ApplMathComp = "Appl. Math. Comput." }
 @String{AmerMathMonthly = "American Mathematical Monthly" }
 @String{AmerMathMonthly = "Amer. Math. Monthly" }
 @String{BIT = "{BIT}" }
 @String{BritStatPsych = "British Journal of Mathematical and Statistical
          Psychology" }
 @String{BritStatPsych = "Brit. J. Math. Statist. Psych." }
 @String{CanMathBull = "Canadian Mathematical Bulletin" }
 @String{CanMathBull = "Canad. Math. Bull." }
 @String{CompApplMath = "Journal of Computational and Applied Mathematics" }
 @String{CompApplMath = "J. Comput. Appl. Math." }
 @String{CompPhys = "Journal of Computational Physics" }
 @String{CompPhys = "J. Comput. Phys." }
 @String{CompStruct = "Computers and Structures" }
 @String{CompStruct = "Comput. \& Structures" }
 @String{CompJour = "The Computer Journal" }
 @String{CompJour = "Comput. J." }
 @String{CompSysSci = "Journal of Computer and System Sciences" }
 @String{CompSysSci = "J. Comput. System Sci." }
 @String{Computing = "Computing" }
 @String{ContempMath = "Contemporary Mathematics" }
 @String{ContempMath = "Contemp. Math." }
 @String{Crelle = "Crelle's Journal" }
 @String{GiornaleMath = "Giornale di Mathematiche" }
 @String{GiornaleMath = "Giorn. Mat." } % didn't find in AMS MR., ibid.

 %IEEE
 @String{Computer = "{IEEE} Computer" }
 @String{IEEETransComp = "{IEEE} Transactions on Computers" }
 @String{IEEETransComp = "{IEEE} Trans. Comput." }
 @String{IEEETransAC = "{IEEE} Transactions on Automatic Control" }
 @String{IEEETransAC = "{IEEE} Trans. Automat. Control" }
 @String{IEEESpec = "{IEEE} Spectrum" } % didn't find in AMS MR
 @String{ProcIEEE = "Proceedings of the {IEEE}" }
 @String{ProcIEEE = "Proc. {IEEE}" } % didn't find in AMS MR
 @String{IEEETransAeroElec = "{IEEE} Transactions on Aerospace and Electronic
     Systems" }
 @String{IEEETransAeroElec = "{IEEE} Trans. Aerospace Electron. Systems" }

 @String{IMANumerAna = "{IMA} Journal of Numerical Analysis" }
 @String{IMANumerAna = "{IMA} J. Numer. Anal." }
 @String{InfProcLet = "Information Processing Letters" }
 @String{InfProcLet = "Inform. Process. Lett." }
 @String{InstMathApp = "Journal of the Institute of Mathematics and
     its Applications" }
 @String{InstMathApp = "J. Inst. Math. Appl." }
 @String{IntControl = "International Journal of Control" }
 @String{IntControl = "Internat. J. Control" }
 @String{IntNumerEng = "International Journal for Numerical Methods in
     Engineering" }
 @String{IntNumerEng = "Internat. J. Numer. Methods Engrg." }
 @String{IntSuper = "International Journal of Supercomputing Applications" }
 @String{IntSuper = "Internat. J. Supercomputing Applic." } % didn't find
%% in AMS MR
 @String{Kibernetika = "Kibernetika" }
 @String{JResNatBurStand = "Journal of Research of the National Bureau
     of Standards" }
 @String{JResNatBurStand = "J. Res. Nat. Bur. Standards" }
 @String{LinAlgApp = "Linear Algebra and its Applications" }
 @String{LinAlgApp = "Linear Algebra Appl." }
 @String{MathAnaAppl = "Journal of Mathematical Analysis and Applications" }
 @String{MathAnaAppl = "J. Math. Anal. Appl." }
 @String{MathAnnalen = "Mathematische Annalen" }
 @String{MathAnnalen = "Math. Ann." }
 @String{MathPhys = "Journal of Mathematical Physics" }
 @String{MathPhys = "J. Math. Phys." }
 @String{MathComp = "Mathematics of Computation" }
 @String{MathComp = "Math. Comp." }
 @String{MathScand = "Mathematica Scandinavica" }
 @String{MathScand = "Math. Scand." }
 @String{TablesAidsComp = "Mathematical Tables and Other Aids to Computation" }
 @String{TablesAidsComp = "Math. Tables Aids Comput." }
 @String{NumerMath = "Numerische Mathematik" }
 @String{NumerMath = "Numer. Math." }
 @String{PacificMath = "Pacific Journal of Mathematics" }
 @String{PacificMath = "Pacific J. Math." }
 @String{ParDistComp = "Journal of Parallel and Distributed Computing" }
 @String{ParDistComp = "J. Parallel and Distrib. Comput." } % didn't find
%% in AMS MR
 @String{ParComputing = "Parallel Computing" }
 @String{ParComputing = "Parallel Comput." }
 @String{PhilMag = "Philosophical Magazine" }
 @String{PhilMag = "Philos. Mag." }
 @String{ProcNAS = "Proceedings of the National Academy of Sciences
                    of the USA" }
 @String{ProcNAS = "Proc. Nat. Acad. Sci. U. S. A." }
 @String{Psychometrika = "Psychometrika" }
 @String{QuartMath = "Quarterly Journal of Mathematics, Oxford, Series (2)" }
 @String{QuartMath = "Quart. J. Math. Oxford Ser. (2)" }
 @String{QuartApplMath = "Quarterly of Applied Mathematics" }
 @String{QuartApplMath = "Quart. Appl. Math." }
 @String{RevueInstStat = "Review of the International Statisical Institute" }
 @String{RevueInstStat = "Rev. Inst. Internat. Statist." }

 %SIAM
 @String{JSIAM = "Journal of the Society for Industrial and Applied
     Mathematics" }
 @String{JSIAM = "J. Soc. Indust. Appl. Math." }
 @String{JSIAMB = "Journal of the Society for Industrial and Applied
     Mathematics, Series B, Numerical Analysis" }
 @String{JSIAMB = "J. Soc. Indust. Appl. Math. Ser. B Numer. Anal." }
 @String{SIAMAlgMeth = "{SIAM} Journal on Algebraic and Discrete Methods" }
 @String{SIAMAlgMeth = "{SIAM} J. Algebraic Discrete Methods" }
 @String{SIAMAppMath = "{SIAM} Journal on Applied Mathematics" }
 @String{SIAMAppMath = "{SIAM} J. Appl. Math." }
 @String{SIAMComp = "{SIAM} Journal on Computing" }
 @String{SIAMComp = "{SIAM} J. Comput." }
 @String{SIAMMatrix = "{SIAM} Journal on Matrix Analysis and Applications" }
 @String{SIAMMatrix = "{SIAM} J. Matrix Anal. Appl." }
 @String{SIAMNumAnal = "{SIAM} Journal on Numerical Analysis" }
 @String{SIAMNumAnal = "{SIAM} J. Numer. Anal." }
 @String{SIAMReview = "{SIAM} Review" }
 @String{SIAMReview = "{SIAM} Rev." }
 @String{SIAMSciStat = "{SIAM} Journal on Scientific and Statistical
     Computing" }
 @String{SIAMSciStat = "{SIAM} J. Sci. Statist. Comput." }

 @String{SoftPracExp = "Software Practice and Experience" }
 @String{SoftPracExp = "Software Prac. Experience" } % didn't find in AMS MR
 @String{StatScience = "Statistical Science" }
 @String{StatScience = "Statist. Sci." }
 @String{Techno = "Technometrics" }
 @String{USSRCompMathPhys = "{USSR} Computational Mathematics and Mathematical
     Physics" }
 @String{USSRCompMathPhys = "{U. S. S. R.} Comput. Math. and Math. Phys." }
 @String{VLSICompSys = "Journal of {VLSI} and Computer Systems" }
 @String{VLSICompSys = "J. {VLSI} Comput. Syst." }
 @String{ZAngewMathMech = "Zeitschrift fur Angewandte Mathematik und
     Mechanik" }
 @String{ZAngewMathMech = "Z. Angew. Math. Mech." }
 @String{ZAngewMathPhys = "Zeitschrift fur Angewandte Mathematik und Physik" }
 @String{ZAngewMathPhys = "Z. Angew. Math. Phys." }

% Publishers % ================================================= |

 @String{Academic = "Academic Press" }
 @String{ACMPress = "{ACM} Press" }
 @String{AdamHilger = "Adam Hilger" }
 @String{AddisonWesley = "Addison-Wesley" }
 @String{AllynBacon = "Allyn and Bacon" }
 @String{AMS = "American Mathematical Society" }
 @String{Birkhauser = "Birkha{\"u}ser" }
 @String{CambridgePress = "Cambridge University Press" }
 @String{Chelsea = "Chelsea" }
 @String{ClaredonPress = "Claredon Press" }
 @String{DoverPub = "Dover Publications" }
 @String{Eyolles = "Eyolles" }
 @String{HoltRinehartWinston = "Holt, Rinehart and Winston" }
 @String{Interscience = "Interscience" }
 @String{JohnsHopkinsPress = "The Johns Hopkins University Press" }
 @String{JohnWileySons = "John Wiley and Sons" }
 @String{Macmillan = "Macmillan" }
 @String{MathWorks = "The Math Works Inc." }
 @String{McGrawHill = "McGraw-Hill" }
 @String{NatBurStd = "National Bureau of Standards" }
 @String{NorthHolland = "North-Holland" }
 @String{OxfordPress = "Oxford University Press" }  %address Oxford or London?
 @String{PergamonPress = "Pergamon Press" }
 @String{PlenumPress = "Plenum Press" }
 @String{PrenticeHall = "Prentice-Hall" }
 @String{SIAMPub = "{SIAM} Publications" }
 @String{Springer = "Springer-Verlag" }
 @String{TexasPress = "University of Texas Press" }
 @String{VanNostrand = "Van Nostrand" }
 @String{WHFreeman = "W. H. Freeman and Co." }

%Entries

@article{wengert1964simple,
  title={A simple automatic derivative evaluation program},
  author={Wengert, Robert Edwin},
  journal={Communications of the ACM},
  volume={7},
  number={8},
  pages={463--464},
  year={1964},
  publisher={ACM}
}

@book{griewank2008evaluating,
  title={Evaluating derivatives: principles and techniques of algorithmic differentiation},
  author={Griewank, Andreas and Walther, Andrea},
  year={2008},
  publisher={SIAM}
}

@article{griewank1993some,
  title={Some bounds on the complexity of gradients, Jacobians, and Hessians},
  author={Griewank, Andreas},
  journal={Complexity in Nonlinear Optimization},
  pages={128--161},
  year={1993},
  publisher={World Scientific}
}

@article{bischof1992adifor,
  title={ADIFOR--generating derivative codes from Fortran programs},
  author={Bischof, Christian and Carle, Alan and Corliss, George and Griewank, Andreas and Hovland, Paul},
  journal={Scientific Programming},
  volume={1},
  number={1},
  pages={11--29},
  year={1992},
  publisher={Hindawi Publishing Corporation}
}

@article{baydin2015automatic,
  title={Automatic differentiation in machine learning: a survey},
  author={Baydin, Atilim Gunes and Pearlmutter, Barak A and Radul, Alexey Andreyevich and Siskind, Jeffrey Mark},
  journal={arXiv preprint arXiv:1502.05767},
  year={2015}
}

@article{hecht1988theory,
  title={Theory of the backpropagation neural network.},
  author={Hecht-Nielsen, Robert and others},
  journal={Neural Networks},
  volume={1},
  number={Supplement-1},
  pages={445--448},
  year={1988}
}

@article{kingma2014adam,
  title={Adam: A method for stochastic optimization},
  author={Kingma, Diederik and Ba, Jimmy},
  journal={arXiv preprint arXiv:1412.6980},
  year={2014}
}

@article{zeiler2012adadelta,
  title={ADADELTA: an adaptive learning rate method},
  author={Zeiler, Matthew D},
  journal={arXiv preprint arXiv:1212.5701},
  year={2012}
}

@techreport{rumelhart1985learning,
  title={Learning internal representations by error propagation},
  author={Rumelhart, David E and Hinton, Geoffrey E and Williams, Ronald J},
  year={1985},
  institution={California Univ San Diego La Jolla Inst for Cognitive Science}
}

@book{bryson1975applied,
  title={Applied optimal control: optimization, estimation and control},
  author={Bryson, Arthur Earl},
  year={1975},
  publisher={CRC Press}
}

@inproceedings{abadi2016tensorflow,
  title={TensorFlow: A System for Large-Scale Machine Learning.},
  author={Abadi, Mart{\'\i}n and Barham, Paul and Chen, Jianmin and Chen, Zhifeng and Davis, Andy and Dean, Jeffrey and Devin, Matthieu and Ghemawat, Sanjay and Irving, Geoffrey and Isard, Michael and others},
  booktitle={OSDI},
  volume={16},
  pages={265--283},
  year={2016}
}

@manual{paszke2017pytorch,
  title={PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration},
  author={Paszke, Adam and Gross, Sam and Chintala, Soumith and Chanan, Gregory},
  year={2017},
  url={http://pytorch.org/}
}

@inproceedings{bergstra2010theano,
  title={Theano: A CPU and GPU math compiler in Python},
  author={Bergstra, James and Breuleux, Olivier and Bastien, Fr{\'e}d{\'e}ric and Lamblin, Pascal and Pascanu, Razvan and Desjardins, Guillaume and Turian, Joseph and Warde-Farley, David and Bengio, Yoshua},
  booktitle={Proc. 9th Python in Science Conf},
  pages={1--7},
  year={2010}
}

@inproceedings{tokui2015chainer,
  title={Chainer: a next-generation open source framework for deep learning},
  author={Tokui, Seiya and Oono, Kenta and Hido, Shohei and Clayton, Justin},
  booktitle={Proceedings of workshop on machine learning systems (LearningSys) in the twenty-ninth annual conference on neural information processing systems (NIPS)},
  volume={5},
  year={2015}
}

@inproceedings{jia2014caffe,
  title={Caffe: Convolutional architecture for fast feature embedding},
  author={Jia, Yangqing and Shelhamer, Evan and Donahue, Jeff and Karayev, Sergey and Long, Jonathan and Girshick, Ross and Guadarrama, Sergio and Darrell, Trevor},
  booktitle={Proceedings of the 22nd ACM international conference on Multimedia},
  pages={675--678},
  year={2014},
  organization={ACM}
}

@inproceedings{collobert2008torch,
  title={Torch},
  author={Collobert, Ronan and Kavukcuoglu, K and Farabet, C},
  booktitle={Workshop on Machine Learning Open Source Software, NIPS},
  volume={76},
  year={2008}
}

@book{fowler2010domain,
  title={Domain-specific languages},
  author={Fowler, Martin},
  year={2010},
  publisher={Pearson Education}
}

@article{manzyuk2012simply,
  title={A simply typed $\lambda$-calculus of forward automatic differentiation},
  author={Manzyuk, Oleksandr},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={286},
  pages={257--272},
  year={2012},
  publisher={Elsevier}
}

@article{pearlmutter2008reverse,
  title={Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator},
  author={Pearlmutter, Barak A and Siskind, Jeffrey Mark},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={30},
  number={2},
  pages={7},
  year={2008},
  publisher={ACM}
}

@misc{chollet2015keras,
  title={Keras},
  author={Chollet, Fran{\c{c}}ois and others},
  year={2015}
}

@article{griewank1996algorithm,
  title={Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C/C++},
  author={Griewank, Andreas and Juedes, David and Utke, Jean},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  volume={22},
  number={2},
  pages={131--167},
  year={1996},
  publisher={ACM}
}

@article{TapenadeRef13,
  author = {Hasco{\"e}t, L. and Pascual, V.},
  title = {The {T}apenade {A}utomatic {D}ifferentiation tool: {P}rinciples, {M}odel, and {S}pecification},
  journal = "{ACM} {T}ransactions {O}n {M}athematical {S}oftware",
  volume = 39,
  number = 3,
  URL = "http://dx.doi.org/10.1145/2450153.2450158",
  year=2013
}

@manual{lecun2002lush,
  title={Lush reference manual},
  author={LeCun, Y and Bottou, L},
  year={2002},
  url={http://lush.sourceforge.net},
  institution={Tech. Rep., 2002, code available at http://lush.sourceforge.net.[Online]. Available: http://lush.sourceforge.net}
}

@manual{erik2017opaque,
  title={SIP-35 - Opaque types},
  author={Erik Osheim and Jorge Vicente Cantero},
  year={2017},
  url={https://docs.scala-lang.org/sips/opaque-types.html}
}

@misc{baydin2016hype,
  title={Hype: Compositional Machine Learning and Hyperparameter Optimization},
  author={Baydin, Atilim Gunes and Pearlmutter, Barak A},
  year={2016},
  URL="https://hypelib.github.io/Hype/"
}

@misc{intel2016bigdl,
  title={BigDL},
  author={Intel},
  year={2016},
  URL="https://github.com/intel-analytics/BigDL"
}

@article{baydin2015diffsharp,
  title={Diffsharp: Automatic differentiation library},
  author={Baydin, Atilim Gunes and Pearlmutter, Barak A and Siskind, Jeffrey Mark},
  journal={arXiv preprint arXiv:1511.07727},
  year={2015}
}

@Manual{skymind2017deeplearning4j,
  title={Deeplearning4j: Open-Source, Distributed, Deep Learning Library for the JVM},
  organization = {Skymind},
  url = {https://deeplearning4j.org/},
  year={2017}
}

@article{iandola2014densenet,
  title={Densenet: Implementing efficient convnet descriptor pyramids},
  author={Iandola, Forrest and Moskewicz, Matt and Karayev, Sergey and Girshick, Ross and Darrell, Trevor and Keutzer, Kurt},
  journal={arXiv preprint arXiv:1404.1869},
  year={2014}
}

@article{chen2017typesafe,
  title={Typesafe Abstractions for Tensor Operations},
  author={Chen, Tongfei},
  journal={arXiv preprint arXiv:1710.06892},
  year={2017}
}

@Manual{skymind2017nd4j,
  title = {ND4J: N-Dimensional Arrays for Java},
  organization = {Skymind},
  year = {2017},
  url = {https://nd4j.org/},
}

@Manual{google2017eager,
  title = {Eager Execution: An imperative, define-by-run interface to TensorFlow},
  organization = {Google Brain},
  year = {2017},
  url = {https://research.googleblog.com/2017/10/eager-execution-imperative-define-by.html},
}

@article{shazeer2017outrageously,
  title={Outrageously large neural networks: The sparsely-gated mixture-of-experts layer},
  author={Shazeer, Noam and Mirhoseini, Azalia and Maziarz, Krzysztof and Davis, Andy and Le, Quoc and Hinton, Geoffrey and Dean, Jeff},
  journal={arXiv preprint arXiv:1701.06538},
  year={2017}
}

@Manual{kenji2017scalaz,
  title = {Scalaz: An extension to the core scala library},
  author = {Yoshida, Kenji},
  year = {2017},
  url = {https://scalaz.github.io/scalaz/},
}

@Manual{alexarchambault2017jupyter,
  title = {Jupyter Scala: Lightweight Scala kernel for Jupyter / IPython 3},
  author = {Archambault, Alexandre},
  year = {2017},
  url = {http://jupyter-scala.org/},
}

@Manual{lihaoyi2017ammonite,
  title = {Ammonite: Scala Scripting},
  author = {Li, Haoyi},
  year = {2017},
  url = {http://ammonite.io/},
}

@incollection{odersky2017scala,
  title={Class Linearization},
  booktitle={Scala Language Specification},
  author={Odersky, Martin and Altherr, Philippe and Cremet, Vincent and Emir, Burak and Micheloud, Stphane and Mihaylov, Nikolay and Schinz, Michel and Stenman, Erik and Zenger, Matthias},
  year={2017},
  chapter={5.1.2},
  url={https://www.scala-lang.org/files/archive/spec/2.12/05-classes-and-objects.html#class-linearization}
}

@article{oliveira2010type,
  title={Type classes as objects and implicits},
  author={Oliveira, BCDS and Moors, A and Odersky, M},
  journal={ACM SIGPLAN Notices},
  year={2010},
  publisher={United States}
}

@article{amin2014foundations,
  title={Foundations of Path-Dependent Types},
  author={Amin, Nada and Rompf, Tiark and Odersky, Martin},
  journal={Acm Sigplan Notices},
  volume={49},
  number={EPFL-ARTICLE-207233},
  pages={233--249},
  year={2014},
  publisher={Assoc Computing Machinery}
}

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

@article{duchi2011adaptive,
  title={Adaptive subgradient methods for online learning and stochastic optimization},
  author={Duchi, John and Hazan, Elad and Singer, Yoram},
  journal={Journal of Machine Learning Research},
  volume={12},
  number={Jul},
  pages={2121--2159},
  year={2011}
}

@unpublished{yang2017expression,
  author	= {Yang, Bo},
  title	= {The Expression Problem, Complete Version},
  year	= {2017},
  note	= {A working in process paper that describes the mechanism of \gls{plug-in} used in DeepLearning.scala},
}

@book{gurnelltype,
  title={The Type Astronaut's Guide to Shapeless},
  author={Gurnell, Dave},
  isbn={9781365613524},
  year={2017},
  month={5},
  publisher={Underscore Consulting LLP},
  url={https://underscore.io/books/shapeless-guide/}
}

@misc{mordvintsev2015deepdream,
  title={DeepDream - a code example for visualizing neural networks},
  author={Mordvintsev, Alexander and Olah, Christopher and Tyka, Mike},
  journal={Google Research Blog},
  year={2015},
  url={https://research.googleblog.com/2015/07/deepdream-code-example-for-visualizing.html}
}

@article{erhan2009visualizing,
  author = {Erhan, Dumitru and Bengio, Y and Courville, Aaron and Vincent, Pascal},
  year = {2009},
  month = {01},
  pages = {},
  title = {Visualizing Higher-Layer Features of a Deep Network},
  booktitle = {Technical Report, Univeristé de Montréal}
}

@article{zhao2017deepdsl,
  title={DeepDSL: A Compilation-based Domain-Specific Language for Deep Learning},
  author={Zhao, Tian and Huang, Xiaobing and Cao, Yu},
  journal={arXiv preprint arXiv:1701.02284},
  year={2017}
}

@article{sabry1993reasoning,
  title={Reasoning about programs in continuation-passing style},
  author={Sabry, Amr and Felleisen, Matthias},
  journal={Lisp and symbolic computation},
  volume={6},
  number={3-4},
  pages={289--360},
  year={1993},
  publisher={Springer}
}

@article{chen2015mxnet,
  title={Mxnet: A flexible and efficient machine learning library for heterogeneous distributed systems},
  author={Chen, Tianqi and Li, Mu and Li, Yutian and Lin, Min and Wang, Naiyan and Wang, Minjie and Xiao, Tianjun and Xu, Bing and Zhang, Chiyuan and Zhang, Zheng},
  journal={arXiv preprint arXiv:1512.01274},
  year={2015}
}

@article{neubig2017dynet,
  title={DyNet: The Dynamic Neural Network Toolkit},
  author={Neubig, Graham and Dyer, Chris and Goldberg, Yoav and Matthews, Austin and Ammar, Waleed and Anastasopoulos, Antonios and Ballesteros, Miguel and Chiang, David and Clothiaux, Daniel and Cohn, Trevor and others},
  journal={arXiv preprint arXiv:1701.03980},
  year={2017}
}

@article{liu2017dynamic,
  title={Dynamic deep neural networks: Optimizing accuracy-efficiency trade-offs by selective execution},
  author={Liu, Lanlan and Deng, Jia},
  journal={arXiv preprint arXiv:1701.00299},
  year={2017}
}

@unpublished{yang2017dsl,
  author={Yang, Bo},
  url={https://github.com/ThoughtWorksInc/Dsl.scala/},
  title	= {Dsl.scala: a framework to create DSL in Scala},
  year	= {2017},
}

@article{mcbride2008applicative,
  title={Applicative programming with effects},
  author={McBride, Conor and Paterson, Ross},
  journal={Journal of functional programming},
  volume={18},
  number={1},
  pages={1--13},
  year={2008},
  publisher={Cambridge University Press}
}

@article{krizhevsky2009learning,
  title={Learning multiple layers of features from tiny images},
  author={Krizhevsky, Alex and Hinton, Geoffrey},
  year={2009},
  publisher={Citeseer}
}

@misc{shipilevjmh,
  year = {2018},
  title={JMH: Java Microbenchmark Harness},
  author={Shipilev, Aleksey},
  url={http://openjdk.java.net/projects/code-tools/jmh/}
}

@inproceedings{ciregan2012multi,
  title={Multi-column deep neural networks for image classification},
  author={Ciregan, Dan and Meier, Ueli and Schmidhuber, J{\"u}rgen},
  booktitle={Computer vision and pattern recognition (CVPR), 2012 IEEE conference on},
  pages={3642--3649},
  year={2012},
  organization={IEEE}
}

@article{elliott2018simple,
  title={The simple essence of automatic differentiation},
  author={Elliott, Conal},
  journal={Proceedings of the ACM on Programming Languages},
  volume={2},
  number={ICFP},
  pages={70},
  year={2018},
  publisher={ACM}
}

@article{wangbackpropagation,
  title={Backpropagation with Continuation Callbacks: Foundations for Efficient and Expressive Differentiable Programming},
  author={Wang, Fei and Decker, James and Wu, Xilun and Essertel, Gr{\'e}gory and Rompf, Tiark}
}