@(data-wb-schter,
 author       = {The World Bank},
 year         = {2015},
 title        = {School enrollment, tertiary (\% gross)},
 url          = {http://data.worldbank.org/indicator/SE.TER.ENRR},
)
@inproceedings(websharper-guis,
 author       = {Joel Bjornson and Anton Tayanovskyy and Adam Granicz},
 year         = {2011},
 title        = {Composing Reactive GUIs in F\# Using WebSharper},
 booktitle    = {Proceedings of IFL},
 series       = {IFL'10},
 pages        = {203--216},
 doi          = {10.1007/978-3-642-24276-2\_13},
)
@(fsharp-rprovider,
 author       = {{BlueMountain Capital and Contributors}},
 year         = {2015},
 title        = {F\# R Type Provider},
 url          = {http://bluemountaincapital.github.io/FSharpRProvider},
)
@(fsharp-funscript,
 author       = {Zach Bray and Contributors},
 year         = {2015},
 title        = {FunScript: F\# to JavaScript with type providers},
 url          = {http://funscript.info},
)
@book(philosophy-thing,
 author       = {Alan F Chalmers},
 year         = {2013},
 title        = {What is this thing called science?},
 publisher    = {Open University Press},
 doi          = {10.1007/BF00174905},
)
@inproceedings(web-links,
 author       = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2007},
 title        = {Links: Web Programming Without Tiers},
 booktitle    = {Proceedings of FMCO},
 series       = {FMCO'06},
 pages        = {266--296},
 doi          = {10.1007/978-3-540-74792-5\_12},
 url          = {http://dl.acm.org/citation.cfm?id=1777707.1777724},
)
@inproceedings(links-formlets,
 author       = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2008},
 title        = {The Essence of Form Abstraction},
 booktitle    = {Proceedings of APLAS},
 series       = {APLAS '08},
 pages        = {205--220},
 doi          = {10.1007/978-3-540-89330-1\_15},
)
@(asm-js,
 author       = {Alon Zakai David Herman, Luke Wagner},
 year         = {2014},
 title        = {asm.js -- Working Draft -- 18 August 2014},
 url          = {http://asmjs.org/spec/latest/},
)
@inproceedings(websharper-piglets,
 author       = {Lo\"{\i}c Denuzi\`{e}re and Ernesto Rodriguez and Adam Granicz},
 year         = {2014},
 title        = {Piglets to the Rescue: Declarative User Interface Specification with Pluggable View Models},
 booktitle    = {Proceedings of IFL},
 series       = {IFL '13},
 publisher    = {ACM},
 pages        = {105:105--105:115},
 doi          = {10.1145/2620678.2620689},
)
@inproceedings(js_sml,
 author       = {Martin Elsman},
 year         = {2011},
 title        = {SMLtoJs: Hosting a Standard ML Compiler in a Web Browser},
 booktitle    = {Proceedings of PLASTIC},
 series       = {PLASTIC '11},
 publisher    = {ACM},
 pages        = {39--48},
 doi          = {10.1145/2093328.2093336},
)
@inproceedings(haskell-ffi,
 author       = {Sigbjorn Finne and Daan Leijen and Erik Meijer and Peyton Jones, Simon},
 year         = {1999},
 title        = {Calling Hell from Heaven and Heaven from Hell},
 booktitle    = {Proceedings of ICFP},
 series       = {ICFP '99},
 publisher    = {ACM},
 pages        = {114--125},
 doi          = {10.1145/317636.317790},
)
@(google-freebase,
 author       = {Google},
 year         = {2015},
 title        = {Freebase: A community-curated database of well-known people, places, and things},
 url          = {http://www.freebase.com},
)
@book(dj-handbook,
 author       = {Jonathan Gray and Lucy Chambers and Liliana Bounegru},
 year         = {2012},
 title        = {The data journalism handbook},
 publisher    = {O'Reilly Media},
)
@(fsharp-fcs,
 author       = {The F\# Core Engineering Group},
 year         = {2015},
 title        = {F\# Compiler Services: Editor services},
 url          = {http://fsharp.github.io/FSharp.Compiler.Service/editor.html},
)
@incollection(philosophy-lakatos,
 author       = {Imre Lakatos},
 year         = {1970},
 title        = {Falsification and the Methodology of Scientific Research Programmes},
 editor       = {Imre Lakatos and Alan Musgrave},
 booktitle    = {Criticism and the Growth of Knowledge},
 publisher    = {Cambridge University Press},
 pages        = {91--196},
 doi          = {10.1007/978-94-010-1863-0\_14},
)
@(haskell-ghcjs,
 author       = {Luite Stegeman, Hamish Mackenzie and Contributors},
 year         = {2015},
 title        = {{ghcjs: Project homepage}},
 url          = {https://github.com/ghcjs},
)
@(ms-typescript,
 author       = {Microsoft and Contributors},
 year         = {2015},
 title        = {TypeScript},
 url          = {http://typescriptlang.org},
)
@(fsharp-paramsdict,
 author       = {Tomas Petricek},
 year         = {2014},
 title        = {F\# Language: Allow ``params'' dictionaries as method arguments},
 url          = {https://fslang.uservoice.com/forums/245727/suggestions/5975840},
)
@inproceedings(philosophy-pl,
 author       = {Tomas Petricek},
 year         = {2014},
 title        = {What can Programming Language Research Learn from the Philosophy of Science?},
 booktitle    = {Proceedings of the 50th Anniversary Convention of the AISB},
)
@(fsharp-data,
 author       = {Tomas Petricek and Gustavo Guerra and Contributors},
 year         = {2015},
 title        = {F\# Data: Library for Data Access},
 url          = {http://fsharp.github.io/FSharp.Data/},
)
@(fsharp-webtools,
 author       = {Tomas Petricek and Don Syme},
 year         = {2007},
 title        = {F\# Web Tools: Rich client/server web applications in F\#},
 howpublished = {Unpublished draft, submitted to ML Workshop 2007},
 url          = {http://tomasp.net/academic/articles/fswebtools},
)
@inproceedings(fsharp-zoo,
 author       = {Tomas Petricek and Don Syme},
 year         = {2014},
 title        = {The F\# Computation Expression Zoo},
 booktitle    = {Proceedings of PADL},
 series       = {PADL 2014},
 publisher    = {Springer-Verlag New York, Inc.},
 pages        = {33--48},
 doi          = {10.1007/978-3-319-04132-2\_3},
)
@inproceedings(haskell-imperative,
 author       = {Peyton Jones, Simon L. and Philip Wadler},
 year         = {1993},
 title        = {Imperative Functional Programming},
 booktitle    = {Proceedings of POPL},
 series       = {POPL '93},
 publisher    = {ACM},
 pages        = {71--84},
 doi          = {10.1145/158511.158524},
)
@techreport(ms-safets,
 author       = {Aseem Rastogi and Nikhil Swamy and Cedric Fournet and Gavin Bierman and Panagiotis Vekris},
 year         = {2014},
 title        = {Safe \& Efficient Gradual Typing for TypeScript},
 type         = {Technical Report},
 number       = {MSR-TR-2014-99},
 institution  = {Microsoft Research},
 doi          = {10.1145/2676726.2676971},
 url          = {http://research.microsoft.com/apps/pubs/?id=224900},
)
@inproceedings(haskell-templ,
 author       = {Tim Sheard and Simon Peyton Jones},
 year         = {2002},
 title        = {Template meta-programming for Haskell},
 booktitle    = {Proceedings of the 2002 ACM SIGPLAN workshop on Haskell},
 organization = {ACM},
 pages        = {1--16},
 doi          = {10.1145/636517.636528},
)
@incollection(gradual-oop,
 author       = {Jeremy Siek and Walid Taha},
 year         = {2007},
 title        = {Gradual typing for objects},
 booktitle    = {ECOOP 2007--Object-Oriented Programming},
 publisher    = {Springer},
 pages        = {2--27},
 doi          = {10.1007/978-3-540-73589-2\_2},
)
@inproceedings(gradual-fun,
 author       = {Jeremy G Siek and Walid Taha},
 year         = {2006},
 title        = {Gradual typing for functional languages},
 booktitle    = {Scheme and Functional Programming Workshop},
 volume       = {6},
 pages        = {81--92},
 doi          = {10.1.1.61.8890},
)
@inproceedings(accelerator,
 author       = {Satnam Singh},
 year         = {2010},
 title        = {Declarative Data-parallel Programming with the Accelerator System},
 booktitle    = {Proceedings of DAMP},
 series       = {DAMP '10},
 publisher    = {ACM},
 pages        = {1--2},
 doi          = {10.1145/1708046.1708048},
)
@inproceedings(fsharp-metaprog,
 author       = {Don Syme},
 year         = {2006},
 title        = {Leveraging .NET Meta-programming Components from F\#: Integrated Queries and Interoperable Heterogeneous Execution},
 booktitle    = {Proceedings of ML Workshop},
 series       = {ML '06},
 publisher    = {ACM},
 pages        = {43--54},
 doi          = {10.1145/1159876.1159884},
)
@techreport(fsharp-typeprov,
 author       = {Don Syme and K. Battocchi and K. Takeda and D. Malayeri and J. Fisher and J. Hu and T. Liu and B. McNamara and D. Quirk and M. Taveggia and W. Chae and U. Matsveyeu and T. Petricek},
 year         = {2012},
 title        = {Strongly-typed language support for internet-scale information sources},
 type         = {Technical Report},
 number       = {MSR-TR-2012-101},
 institution  = {Microsoft Research},
 url          = {http://research.microsoft.com/apps/pubs/?id=173076},
)
@inproceedings(fsharp-async,
 author       = {Don Syme and Tomas Petricek and Dmitry Lomov},
 year         = {2011},
 title        = {The F\# Asynchronous Programming Model},
 booktitle    = {Proceedings of PADL},
 series       = {PADL'11},
 pages        = {175--189},
 doi          = {10.1007/978-3-642-18378-2\_15},
)
@(ms-typescript-09,
 author       = {Jonathan Turner},
 year         = {2013},
 title        = {Announcing TypeScript 0.9},
 url          = {http://blogs.msdn.com/b/typescript/archive/2013/06/18/announcing-typescript-0-9.aspx},
)
@article(js_ocmal,
 author       = {J{\'e}r{\^o}me Vouillon and Vincent Balat},
 year         = {2013},
 title        = {From bytecode to javascript: the js\_of\_ocaml compiler},
 journal      = {Software: Practice and Experience},
 doi          = {10.1.1.224.7457},
)
@inproceedings(blame-well,
 author       = {Philip Wadler and Robert Bruce Findler},
 year         = {2009},
 title        = {Well-Typed Programs Can'T Be Blamed},
 booktitle    = {Proceedings of ESOP},
 series       = {ESOP '09},
 pages        = {1--16},
 doi          = {10.1007/978-3-642-00590-9\_1},
)