References

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