@article(DBLP:journals/tcs/Blume01,
 author       = {Matthias Blume},
 year         = {2001},
 title        = {No-Longer-Foreign: Teaching an {ML} compiler to speak {C} "natively"},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {59},
 number       = {1},
 pages        = {36--52},
 url          = {http://dx.doi.org/10.1016/S1571-0661(05)80452-9},
)
@inproceedings(DBLP:conf/itp/BraibantP10,
 author       = {Thomas Braibant and Damien Pous},
 year         = {2010},
 title        = {An Efficient {Coq} Tactic for Deciding Kleene Algebras},
 booktitle    = {Interactive Theorem Proving, First International Conference, {ITP} 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6172},
 publisher    = {Springer},
 pages        = {163--178},
 url          = {http://dx.doi.org/10.1007/978-3-642-14052-5\_13},
)
@article(DBLP:journals/lisp/ChinK01,
 author       = {Wei-Ngan Chin and Siau-Cheng Khoo},
 year         = {2001},
 title        = {Calculating Sized Types},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {14},
 number       = {2-3},
 pages        = {261--300},
 url          = {http://dx.doi.org/10.1023/A:1012996816178},
)
@inproceedings(DBLP:conf/frocos/CuiDX05,
 author       = {Sa Cui and Kevin Donnelly and Hongwei Xi},
 year         = {2005},
 title        = {{ATS}: A Language That Combines Programming with Theorem Proving},
 booktitle    = {FroCoS},
 series       = {Lecture Notes in Computer Science},
 volume       = {3717},
 publisher    = {Springer},
 pages        = {310--320},
 url          = {http://dx.doi.org/10.1007/11559306_19},
)
@article(DBLP:journals/jfp/Danvy98,
 author       = {Olivier Danvy},
 year         = {1998},
 title        = {Functional Unparsing},
 journal      = {J. Funct. Program.},
 volume       = {8},
 number       = {6},
 pages        = {621--625},
 url          = {http://dx.doi.org/10.1017/S0956796898003104},
)
@inproceedings(DBLP:conf/haskell/Eaton06,
 author       = {Frederik Eaton},
 year         = {2006},
 title        = {Statically typed linear algebra in Haskell},
 booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006},
 publisher    = {{ACM}},
 pages        = {120--121},
 url          = {http://dx.doi.org/10.1145/1159842.1159859},
)
@misc(Eigen,
 title        = {{E}igen},
 howpublished = {\url{http://eigen.tuxfamily.org/}},
)
@article(DBLP:journals/jfp/FluetP06,
 author       = {Matthew Fluet and Riccardo Pucella},
 year         = {2006},
 title        = {Phantom types and subtyping},
 journal      = {J. Funct. Program.},
 volume       = {16},
 number       = {6},
 pages        = {751--791},
 url          = {http://dx.doi.org/10.1017/S0956796806006046},
)
@misc(GSL,
 author       = {Mark Galassi},
 title        = {the {GNU} Scientific Library ({GSL})},
 howpublished = {\url{http://www.gnu.org/software/gsl/}},
)
@incollection(Hin03Fun,
 author       = {Ralf Hinze},
 year         = {2003},
 title        = {Fun with phantom types},
 editor       = {Jeremy Gibbons and {de Moor}, Oege},
 booktitle    = {The Fun of Programming},
 series       = {Cornerstones of Computing},
 publisher    = {Palgrave Macmillan},
 pages        = {245--262},
)
@misc(hyone,
 author       = {hyone},
 title        = {Length Indexed Matrix and Indexed Functor},
 howpublished = {\url{https://gist.github.com/hyone/3990929}},
)
@article(DBLP:journals/entcs/KiselyovS07,
 author       = {Oleg Kiselyov and Chung chieh Shan},
 year         = {2007},
 title        = {Lightweight Static Capabilities},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {174},
 number       = {7},
 pages        = {79--104},
 url          = {http://dx.doi.org/10.1016/j.entcs.2006.10.039},
)
@inproceedings(DBLP:conf/dsl/LeijenM99,
 author       = {Daan Leijen and Erik Meijer},
 year         = {1999},
 title        = {Domain specific embedded compilers},
 booktitle    = {Proceedings of the Second Conference on Domain-Specific Languages {(DSL} '99), Austin, Texas, USA, October 3-5, 1999},
 publisher    = {{ACM}},
 pages        = {109--122},
 url          = {http://dx.doi.org/10.1145/331960.331977},
)
@misc(OCaml-GPR,
 author       = {Markus Mottl},
 title        = {{OCaml-GPR} -- Efficient {G}aussian Process Regression in {OCaml}},
 howpublished = {\url{https://github.com/mmottl/gpr}},
)
@misc(Lacaml,
 author       = {Markus Mottl and Christophe Troestler},
 title        = {{LACAML} -- Linear Algebra for {OCaml}},
 howpublished = {\url{https://github.com/mmottl/lacaml}},
)
@misc(BLAS,
 author       = {{NetLib}},
 title        = {{BLAS} ({B}asic {L}inear {A}lgebra {S}ubprograms)},
 howpublished = {\url{http://www.netlib.org/blas/}},
)
@misc(LAPACK,
 author       = {{NetLib}},
 title        = {{LAPACK} -- {L}inear {A}lgebra {PACK}age},
 howpublished = {\url{http://www.netlib.org/lapack/}},
)
@misc(OptiML,
 author       = {{S}tanford {U}niversity's {P}ervasive {P}arallelism {L}aboratory ({PPL})},
 title        = {{O}pti{ML}},
 howpublished = {\url{http://stanford-ppl.github.io/Delite/optiml/}},
)
@article(DBLP:journals/sigplan/SheardJ02,
 author       = {Tim Sheard and Simon L. Peyton Jones},
 year         = {2002},
 title        = {Template meta-programming for Haskell},
 journal      = {{SIGPLAN} Notices},
 volume       = {37},
 number       = {12},
 pages        = {60--75},
 url          = {http://dx.doi.org/10.1145/636517.636528},
)
@inproceedings(DBLP:conf/icml/SujeethLBRCWAOO11,
 author       = {Arvind K. Sujeeth and HyoukJoong Lee and Kevin J. Brown and Tiark Rompf and Hassan Chafi and Michael Wu and Anand R. Atreya and Martin Odersky and Kunle Olukotun},
 year         = {2011},
 title        = {{O}pti{ML}: An Implicitly Parallel Domain-Specific Language for Machine Learning},
 booktitle    = {Proceedings of the 28th International Conference on Machine Learning, {ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
 publisher    = {Omnipress},
 pages        = {609--616},
)
@misc(uBlas,
 title        = {u{B}las},
 howpublished = {\url{http://www.boost.org/doc/libs/1_55_0/libs/numeric/ublas/doc/}},
)
@article(DBLP:journals/jfp/Xi07,
 author       = {Hongwei Xi},
 year         = {2007},
 title        = {Dependent {ML} -- An approach to practical programming with dependent types},
 journal      = {J. Funct. Program.},
 volume       = {17},
 number       = {2},
 pages        = {215--286},
 url          = {http://dx.doi.org/10.1017/S0956796806006216},
)