参考文献

2021-09-25 00:00:21

Martín Abadi and Luca Cardelli. 1996. A Theory of Objects. Springer. https://doi.org/10.1007/978-1-4419-8598-9
Isaac Abraham. 2020. SAFE Stack. https://web.archive.org/web/20191207093456/https://safe-stack.github.io/
Jonathan Allen. 2010. Microsoft’s Experiments with Software Transactional Memory Have Ended. https://web.archive.org/web/20160414023301/http://www.infoq.com/news/2010/05/STM-Dropped
David Alsh. 2019. An Update on Go and Generics in 2019. https://web.archive.org/web/20190312110158/https://medium.com/@alshdavid/an-update-on-go-and-generics-in-2019-59efdcc97a42
Jim Alves-Foss (Ed.). 1999. Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, Vol. 1523. Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-48737-9
Apple. 2014. Swift introduction. https://www.youtube.com/watch?v=MO7Ta0DvEWA Apple WWDC 2014.
Isabelle archives. 1994. Added infix op also. https://web.archive.org/web/20120726024825/http://isabelle.in.tum.de/repos/isabelle/rev/daca5b594fb3
Julian Assange. 2000. Forum Message. https://web.archive.org/web/20200122221804/http://caml.inria.fr/pub/ml-archives/caml-list/2000/08/6b8b195b3a25876e0789fe3db770db9f.en.html
Desire Athow. 2014. Pentium FDIV: The processor bug that shook the world. https://web.archive.org/web/20181123221019/https://www.techradar.com/uk/news/computing-components/processors/pentium-fdiv-the-processor-bug-thatshook-the-world-1270773
Nick Benton and Andrew Kennedy. 1999. Interlanguage Working Without Tears: Blending SML with Java. In Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP ‘99), Paris, France, September 27-29, 1999, Didier Rémy and Peter Lee (Eds.). ACM, 126―137. https://doi.org/10.1145/317636.317791
Nick Benton, Andrew Kennedy, and Claudio V. Russo. 2004. Adventures in interoperability: the SML.NET experience. In Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, Eugenio Moggi and David Scott Warren (Eds.). ACM, 215―226. https://doi.org/10.1145/1013963.1013987
Dave Berry. 2001a. Forum Message. https://web.archive.org/web/20200309165610/https://caml.inria.fr/pub/ml-archives/caml-list/2001/02/133b91bc1099f414b036a6ded7209d4c.en.html
Dave Berry. 2001b. Forum Message. https://web.archive.org/web/20200309170553/https://caml.inria.fr/pub/ml-archives/caml-list/2001/02/394c8e018c81d45cda9c71c20d22518b.en.html
Joel Bjornson, Anton Tayanovskyy, and Adam Granicz. 2010. Composing Reactive GUIs in F# Using WebSharper. In Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers (Lecture Notes in Computer Science), Jurriaan Hage and Marco T. Morazán (Eds.), Vol. 6647. Springer, 203―216. https://doi.org/10.1007/978-3-642-24276-2_13
Joel Bjornson, Anton Tayanovskyy, and Adam Granicz. 2011. Composing Reactive GUIs in F# Using WebSharper. In Implementation and Application of Functional Languages, Jurriaan Hage and Marco T. Morazán (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 203―216.
Rachel Blasucci. 2016. A History of F#. https://zenodo.org/record/3706701#.Xmjtoaj7RaQ
J. Bloch. 2001. Effective Java: Programming Language Guide. Addison-Wesley. https://books.google.com/books?id=Ra9QAAAAMAAJ
Kurt D. Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor. 2008. Freebase: a collaboratively created graph database for structuring human knowledge. In Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, Jason Tsong-LiWang (Ed.). ACM, 1247―1250. https://doi.org/10.1145/1376616.1376746
Luca Bolognese. 2008. An Introduction to Microsoft F#. https://web.archive.org/web/20190827210341/https://channel9.msdn.com/blogs/pdc2008/tl11
Arturo Borquez. 2001. Forum Message. https://web.archive.org/web/20200309170633/https://caml.inria.fr/pub/ml-archives/caml-list/2001/03/c505a4570bf94080cb8a7f82b2f3598a.en.html
Clint Boulton. 2003. Is F# a Major or Minor Consideration for Microsoft? https://web.archive.org/web/20200310180658/http://www.internetnews.com/dev-news/article.php/2211931/Is+F+a+Major+or+Minor+Consideration+for+Microsoft.htm
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. 1998. Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. In Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA ‘98), Vancouver, British Columbia, Canada, October 18-22, 1998, Bjùrn N. Freeman-Benson and Craig Chambers (Eds.). ACM, 183―200. https://doi.org/10.1145/286936.286957
Eugene Burmako. 2013. Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming. In Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013. ACM, 3:1―3:10. https://doi.org/10.1145/2489837.2489840
Phillip Carter. 2020. What is F#. https://web.archive.org/web/20190605160132/https://docs.microsoft.com/en-us/dotnet/fsharp/what-is-fsharp
Krzysztof Cieślak. 2019. Ionide – A Visual Studio Code package suite for cross platform F# development. https://web.archive.org/web/20191224203325/http://ionide.io/
Gavin Clarke. 2010. Microsoft cuts loose Iron languages. https://web.archive.org/web/20191221152303/https://www.theregister.co.uk/2010/10/22/microsoft_kills_dynamic_languages_projects/
Simon Cousins. 2016. Does the Language You Use Make a Difference (revisited)? https://web.archive.org/web/20160812070612/http://simontylercousins.net/does-the-language-you-use-make-a-difference-revisited/
Russ Cox. 2019. The Generic Dilemma. https://web.archive.org/web/20190920172300/https://research.swtch.com/generic
Miguel de Icaza. 2016. Mono History. https://web.archive.org/web/20191002200140/https://www.mono-project.com/docs/about-mono/history/
J. Duffy. 2008. Concurrent Programming on Windows. Pearson Education. https://books.google.co.jp/books?id=o4ohrd0_yA0C
Wes Dyer. 2009. A Brief Introduction to the Reactive Extensions for .NET. https://web.archive.org/web/20190120224709/https://blogs.msdn.microsoft.com/wesdyer/2009/11/18/a-brief-introduction-to-the-reactive-extensions-for-net-rx/
Jan Dzik, Nick Palladinos, Konstantinos Rontogiannis, Eirik Tsarpalis, and Nikolaos Vathis. 2013. MBrace: cloud computing with monads. In Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, Tim Harris and Anil Madhavapeddy (Eds.). ACM, 7:1―7:6. https://doi.org/10.1145/2525528.2525531
Burak Emir, Martin Odersky, and John Williams. 2007. Matching Objects with Patterns. In ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Lecture Notes in Computer Science), Erik Ernst (Ed.), Vol. 4609. Springer, 273―298. https://doi.org/10.1007/978-3-540-73589-2_14
Martin Erwig. 1996. Active Patterns. In Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers (Lecture Notes in Computer Science), Werner E. Kluge (Ed.), Vol. 1268. Springer, 21―40. https://doi.org/10.1007/3-540-63237-9_17
Mary Jo Foley. 2011. Microsoft drops Dryad; puts its big-data bets on Hadoop. https://web.archive.org/web/20180327103628/http://www.zdnet.com/article/microsoft-drops-dryad-puts-its-big-data-bets-on-hadoop/
Mary Jo Foley. 2014. Microsoft to close Microsoft Research lab in Silicon Valley. https://web.archive.org/web/20170719170224/http://www.zdnet.com/article/microsoft-to-close-microsoft-research-lab-in-silicon-valley/
Steffen Forkmann. 2019. Paket: a dependency manager for .NET. https://web.archive.org/web/20191207100955/https://fsprojects.github.io/Paket/
Steffen Forkmann and Matthias Dittrich. 2019. F# Make: a DSL for Build Tasks and more. https://web.archive.org/web/20191106010037/https://fake.build/
FSSF Contributors. 2019a. F# Language Design RFCs. https://web.archive.org/web/20190121121629/https://github.com/fsharp/fslang-design/
FSSF Contributors. 2019b. F# Language Suggestions. https://web.archive.org/web/20190121121627/https://github.com/fsharp/fslang-suggestions/
FSSF Contributors. 2020. F# Testimonials. https://web.archive.org/web/20191225110939/https://fsharp.org/testimonials/
Jun Furuse. 2002. G’CAML ― O’Caml with Extensional Polymorphism Extension. https://web.archive.org/web/20151028183010/http://cristal.inria.fr/~furuse/old/generics/index.html
Alfonso García-Caro. 2018. Fable - The compiler that emits JavaScript you can be proud of! https://web.archive.org/web/20191230184424/https://fable.io/
Jacques Garrigue. 2001. Simple Type Inference for Structural Polymorphism. In The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings. 329―343.
Mike Gordon. 2000. From LCF to HOL: A Short History. MIT Press, Cambridge, MA, USA, 169―185.
Adam Granicz. 2011. IntelliFactory Your Functional Experts. https://web.archive.org/web/20071102190038/http://www.intellifactory.com:80/Development.aspx
Adam Granicz. 2020. WebSharper. https://web.archive.org/web/20191221153625/http://websharper.com/
Adam Granicz and Loic Denuziere. 2019. Functional, Reactive Web Programming in F#. Springer International Publishing, Cham, 137―160. https://doi.org/10.1007/978-3-030-28346-9_5
Philipp Haller and Martin Odersky. 2009. Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410, 2-3 (2009), 202―220. https://doi.org/10.1016/j.tcs.2008.09.019
Michael Hansen and Hans Rischel. 2013. Functional Programming Using F#. Cambridge University Press, United Kingdom.
Jon Harrop. 2006. F# for Scientists announced by Jon Harrop. https://web.archive.org/web/20190130125113/https://blogs.msdn.microsoft.com/dsyme/2006/10/23/f-for-scientists-announced-by-jon-harrop/
Jon Harrop. 2008. F# for Scientists. Wiley-Interscience, USA.
Haskell Contributors. 2017. Why isn’t GHC available for .NET or on the JVM? https://web.archive.org/web/20171003001945/https://wiki.haskell.org/GHC/FAQ
Haskell Contributors. 2019. List Comprehensions. https://web.archive.org/web/20191218093604/https://wiki.haskell.org/List_comprehension
Haskell Contributors. 2020a. Haskell “do notation”. https://web.archive.org/web/20200225025414/https://en.wikibooks.org/wiki/Haskell/do_notation
Haskell Contributors. 2020b. MonadPlus. https://web.archive.org/web/20200110013404/https://wiki.haskell.org/MonadPlus
Ralf Hinze. 2019. IFIP Working Group 2.8 – Functional Programming. https://web.archive.org/web/20190827002406/http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/
Graydon Hoare. 2017. What next? https://web.archive.org/web/20200309171904/https://graydon.livejournal.com/256533.html
Tony Hoare. 2011. Null References: The Billion Dollar Mistake. https://web.archive.org/web/20200226010547/https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/
Luke Hoban. 2014. Facilitating Open Contributions for the F# Compiler, Library and Visual F# Tools. https://web.archive.org/web/20190117170952/https://blogs.msdn.microsoft.com/fsharpteam/2014/04/03/facilitatingopen-contributions-for-the-f-compiler-library-and-visual-f-tools/
Luke Hoban. 2017. The first TypeScript demo. https://web.archive.org/web/20181112134112/https://hackernoon.com/thefirst-typescript-demo-905ea095a70f?gi=519980eb03ee
Paul Hudak, John Hughes, Simon Peyton Jones, and Philip Wadler. 2007. A History of Haskell: Being lazy with class. In Proceedings of the 3rd ACM SIGPLAN Conference on History of Programming Languages (HOPL-III. ACM Press, 1―55.
Andrew Kennedy. 1995. Programming languages and dimensions. Ph.D. Dissertation. University of Cambridge, UK. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.242978
Andrew Kennedy. 2009. Types for Units-of-Measure: Theory and Practice. In Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures (Lecture Notes in Computer Science), Zoltán Horváth, Rinus Plasmeijer, and Viktória Zsók (Eds.), Vol. 6299. Springer, 268―305.
Andrew Kennedy and Don Syme. 2001. Design and Implementation of Generics for the .NET Common Language Runtime. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, Michael Burke and Mary Lou Soffa (Eds.). ACM, 1―12. https://doi.org/10.1145/378795.378797
J. Launchbury. 1993. Lazy Imperative Programming. In Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages, Copenhagen, DK, SIPL'92. 46―56. http://www.cse.ogi.edu/~jl/Papers/lazyImp.ps
Fabrice le Fessant. 2001. Forum Message. https://web.archive.org/web/20200309170507/https://caml.inria.fr/pub/mlarchives/caml-list/2001/02/b67bc40320ae83c25dd035848a767b19.en.html
Gary T. Leavens. 1995. Foundations of Object-Oriented Languages. ACM SIGPLAN Notices 30 (1995).
Xavier Leroy. 2001. Forum Message. https://web.archive.org/web/20150102181325/http://caml.inria.fr/pub/ml-archives/camllist/2001/02/229eebd5314fd127dadb27872f9e4c6f.en.html
Xavier Leroy. 2014. A History of OCaml. https://web.archive.org/web/20140223051451/http://ocaml.org/learn/history.html
David MacQueen. 2015. The History of Standard ML. https://web.archive.org/web/20200224231802/http://sml-family.org/history/
Phillip Carter Mads Torgersen. 2017. Why you should use F#. https://web.archive.org/web/20190910125556/https://channel9.msdn.com/Events/Build/2017/T6064
Conor McBride and Ross Paterson. 2008. Applicative Programming with Effects. Journal of Functional Programming 18 (01 2008), 1―13. https://doi.org/10.1017/S0956796807006326
Ross McKinlay. 2013. Choose Your Own Adventure Type Provider. https://web.archive.org/web/20170506071823/http://www.pinksquirrellabs.com/post/2013/07/29/Choose-Your-Own-Adventure-Type-Provider.aspx
Microsoft. 2019. Language Integrated Query (LINQ). https://web.archive.org/web/20190605160124/https://docs.microsoft.com/en-us/dotnet/csharp/linq/
Robin Milner, Mads Tofte, and Robert Harper. 1990. Definition of Standard ML. MIT Press.
Gabriela Motroc. [n.d.]. Project Valhalla enters new phase. https://web.archive.org/web/20200309164943/https://jaxenter.com/project-valhalla-enters-new-phase-150570.html
Ross Paterson. 2020. Arrows: A General Interface to Computation. https://web.archive.org/web/20200306225731/https://www.haskell.org/arrows/syntax.html
Alex Peake and Adam Granicz. 2009. The First Substantial Line of Business Application in F#. In Proceedings of the 2009 Video Workshop on Commercial Users of Functional Programming: Functional Programming As a Means, Not an End (Edinburgh, Scotland) (CUFP ‘09). Association for Computing Machinery, New York, NY, USA, Article 6, 1 pages. https://doi.org/10.1145/1668113.1668119
Tomas Petricek. 2008. Client-side Scripting using Meta-programming. https://web.archive.org/web/20170707011917/http://tomasp.net/blog/webtools-thesis.aspx/
Tomas Petricek, Gustavo Guerra, and Don Syme. 2016. Types from data: making structured data first-class citizens in F#. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, Chandra Krintz and Emery Berger (Eds.). ACM, 477―490. https://doi.org/10.1145/2908080.2908115
Tomas Petricek and Don Syme. 2010. Collecting Hollywood’s garbage: avoiding space-leaks in composite events. In Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, Jan Vitek and Doug Lea (Eds.). ACM Press, 53―62. https://doi.org/10.1145/1806651.1806662
Tomas Petricek and Don Syme. 2011. Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. In Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (Lecture Notes in Computer Science), Ricardo Rocha and John Launchbury (Eds.), Vol. 6539. Springer, 205―219. https://doi.org/10.1007/978-3-642-18378-2_17
Tomas Petricek and Don Syme. 2014. The F# Computation Expression Zoo. In Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings (Lecture Notes in Computer Science), Matthew Flatt and Hai-Feng Guo (Eds.), Vol. 8324. Springer, 33―48. https://doi.org/10.1007/978-3-319-04132-2_3
Simon Peyton Jones, Mark Jones, and Erik Meijer. 1997. Type Classes: An Exploration of the Design Space. In In Haskell Workshop.
Simon Peyton Jones and PhilipWadler. 2007. Comprehensive Comprehensions. In Proceedings of the ACM SIGPLANWorkshop on Haskell Workshop (Freiburg, Germany) (Haskell ‘07). Association for Computing Machinery, New York, NY, USA, 61―72. https://doi.org/10.1145/1291201.1291209
Fethi A. Rabhi and Sergei Gorlatch (Eds.). 2003. Patterns and Skeletons for Parallel and Distributed Computing. Springer-Verlag, Berlin, Heidelberg.
Sal Restivo. 2004. Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: The MIT Press, 2001. The Information Society 20, 1 (jan 2004), 67―68. https://doi.org/10.1080/01972240490274702
Ryan Riley. 2019a. Community for F# Heroes. https://web.archive.org/web/20191225110926/https://c4fsharp.net/#heroes
Ryan Riley. 2019b. F# User Groups and Meetups. https://web.archive.org/web/20191225110926/http://community.fsharp.org/user_groups
D. Sangiorgi and D. Walker. 2001. The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press. https://books.google.co.uk/books?id=Se1gQgAACAAJ
Carl-Johan H. Seger, Robert B. Jones, John W. O’Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, and Don Syme. 2005. An industrially effective environment for formal hardware verification. IEEE Trans. on CAD of Integrated Circuits and Systems 24, 9 (2005), 1381―1405. https://doi.org/10.1109/TCAD.2005.850814
S. Somasegar. 2007a. F# – A Functional Programming Language. https://web.archive.org/web/20190117172524/https://blogs.msdn.microsoft.com/somasegar/2007/10/17/f-a-functional-programming-language/
S. Somasegar. 2007b. Private email. 23:34.
Bjarne Stroustrup. 2013. The C++ Programming Language (4th ed.). Addison-Wesley Professional.
Don Syme. [n.d.]a. The F# September 2008 CTP is now available! https://web.archive.org/web/20190125230131/https://blogs.msdn.microsoft.com/dsyme/2008/08/29/the-f-september-2008-ctp-is-now-available/
Don Syme. [n.d.]b. Programming Languages and .NET, Bill Gates project review. https://web.archive.org/web/20200309163401/https://raw.githubusercontent.com/dsyme/fsharp-presentations/master/generics/BillG%20Review%202001.ppt
Don Syme. 1993. Reasoning with the Formal Definition of Standard ML in HOL. In Higher Order Logic Theorem Proving and its Applications, 6th InternationalWorkshop, HUG ‘93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings (Lecture Notes in Computer Science), Jeffrey J. Joyce and Carl-Johan H. Seger (Eds.), Vol. 780. Springer, 43―60. https://doi.org/10.1007/3-540-57826-9_124
Don Syme. 1995. A New Interface for HOL - Ideas, Issues and Implementation. In Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings (Lecture Notes in Computer Science), E. Thomas Schubert, Phillip J. Windley, and Jim Alves-Foss (Eds.), Vol. 971. Springer, 324―339. https://doi.org/10.1007/3-540-60275-5_74
Don Syme. 1999a. Declarative theorem proving for operational semantics. Ph.D. Dissertation. University of Cambridge, UK. https://doi.org/10.17863/CAM.16633
Don Syme. 1999b. Three Tactic Theorem Proving. In In Theorem Proving in Higher Order Logics, TPHOLs ‘99. Springer, 203―220.
Don Syme. 2001a. Forum Message. https://web.archive.org/web/20200309165425/https://caml.inria.fr/pub/ml-archives/camllist/2001/02/5770514eec29b794c2d560fc3282bc14.en.html
Don Syme. 2001b. Forum Message. https://web.archive.org/web/20200309165725/https://caml.inria.fr/pub/ml-archives/camllist/2001/02/5ed4e8db99c99cb983fddea7407f5d9c.en.html
Don Syme. 2001c. Forum Message. https://web.archive.org/web/20200309170708/https://caml.inria.fr/pub/ml-archives/camllist/2002/06/8d07fd5058aa26127d1b7e7892698386.en.html
Don Syme. 2001d. ILX: Extending the .NET Common IL for Functional Language Interoperability. Electron. Notes Theor. Comput. Sci. 59, 1 (2001), 53―72. https://doi.org/10.1016/S1571-0661(05)80453-0
Don Syme. 2002. F# – Combining the speed, safety and productivity of ML and Caml with the libraries, tools and crosslanguage working of .NET. https://web.archive.org/web/20020604234213/http://research.microsoft.com/projects/ilx/fsharp.htm
Don Syme. 2005. Welcome to Don’s F# blog. https://web.archive.org/web/20190130121040/https://blogs.msdn.microsoft.com/dsyme/2005/01/05/welcome-to-dons-f-blog/
Don Syme. 2006a. Draft Chapter 2 of “Expert F#”: Essential Language Features. https://web.archive.org/web/20190130124706/https://blogs.msdn.microsoft.com/dsyme/2006/09/06/draft-chapter-2-of-expert-f-essential-language-features/
Don Syme. 2006b. F# First Class Events: Simplicity and Compositionality in Imperative Reactive Programming. https://web.archive.org/web/20190205134026/https://blogs.msdn.microsoft.com/dsyme/2006/03/23/f-first-classevents-simplicity-and-compositionality-in-imperative-reactive-programming/
Don Syme. 2006c. F# helps show we’re not Neanderthals. https://web.archive.org/web/20190121122515/https://blogs.msdn.microsoft.com/dsyme/2006/12/05/f-helps-show-were-not-neanderthals/
Don Syme. 2006d. F# meets LINQ, and great things happen (Part I). https://web.archive.org/web/20190202055324/https://blogs.msdn.microsoft.com/dsyme/2006/01/26/f-meets-linq-and-great-things-happen-part-i/
Don Syme. 2006e. F# on Channel 9. https://web.archive.org/web/20190130125151/https://blogs.msdn.microsoft.com/dsyme/2006/09/14/f-on-channel-9/
Don Syme. 2006f. Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. Electron. Notes Theor. Comput. Sci. 148, 2 (2006), 3―25. https://doi.org/10.1016/j.entcs.2005.11.038
Don Syme. 2006g. Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. In Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, Andrew Kennedy and François Pottier (Eds.). ACM, 43―54. https://doi.org/10.1145/1159876.1159884
Don Syme. 2006h. Lightweight syntax option in F# 1.1.12.3. https://web.archive.org/web/20190130125207/https://blogs.msdn.microsoft.com/dsyme/2006/08/23/lightweight-syntax-option-in-f-1-1-12-3/
Don Syme. 2006i. An upcoming experimental feature: Active Patterns in F#. https://web.archive.org/web/20190202055330/https://blogs.msdn.microsoft.com/dsyme/2006/08/15/an-upcoming-experimental-feature-active-patterns-in-f/
Don Syme. 2007a. F# 1.9 almost ready. https://web.archive.org/web/20190130123857/https://blogs.msdn.microsoft.com/dsyme/2007/03/04/f-1-9-almost-ready/
Don Syme. 2007b. Introducing Asynchronous Workflows. https://web.archive.org/web/20191221153257/https://blogs.msdn.microsoft.com/dsyme/2007/10/10/introducing-f-asynchronous-workflows/
Don Syme. 2010. Announcing the F# Compiler + Library Source Code Drop. https://web.archive.org/web/20190513075912/https://blogs.msdn.microsoft.com/dsyme/2010/11/04/announcing-the-f-compiler-library-source-code-drop/
Don Syme. 2011. Archeological Semiotics, The Birth of the Pipeline Symbol. https://web.archive.org/web/20190217164203/https://blogs.msdn.microsoft.com/dsyme/2011/05/17/archeological-semiotics-the-birth-of-the-pipeline-symbol-1994/
Don Syme. 2012. More C#/.NET Generics Research Project History. https://web.archive.org/web/20190111203733/https://blogs.msdn.microsoft.com/dsyme/2012/07/05/more-c-net-generics-research-project-history-the-msr-white-paperfrom-mid-1999/
Don Syme. 2018. F# Code I Love. https://www.youtube.com/watch?v=MGLxyyTF3OM
Don Syme. 2020. The F# Language Specification. https://web.archive.org/web/20200225234105/https://fsharp.org/specs/language-spec/
Don Syme, Gregory Neverov, and James Margetson. 2007. Extensible pattern matching via a lightweight language extension. In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, Ralf Hinze and Norman Ramsey (Eds.). ACM, 29―40. https://doi.org/10.1145/1291151.1291159
Don Syme, Tomas Petricek, and Dmitry Lomov. 2011. The F# Asynchronous Programming Model. In Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (Lecture Notes in Computer Science), Ricardo Rocha and John Launchbury (Eds.), Vol. 6539. Springer, 175―189. https://doi.org/10.1007/978-3-642-18378-2_15
Don Syme, Dave Thomas, Ryan Riley, and Tomas Petricek. 2019. F# Compiler Services. https://web.archive.org/web/20190829011402/http://fsharp.github.io/FSharp.Compiler.Service/
Philip Wadler. 1987. Views: A Way for Pattern Matching to Cohabit with Data Abstraction. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press, 307―313. https://doi.org/10.1145/41625.41653
Philip Wadler. 1995. Monads for Functional Programming. In Advanced Functional Programming (Lecture Notes in Computer Science), Vol. 925. Springer, 24―52. https://doi.org/10.1007/3-540-59451-5_2
Philip Wadler. 1998. Why No One Uses Functional Languages. SIGPLAN Notices 33, 8 (1998), 23―27. https://doi.org/10.1145/286385.286387
P. Wadler and S. Blott. 1989. How to Make Ad-Hoc Polymorphism Less Ad Hoc. In Proceedings of the 16th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (Austin, Texas, USA) (POPL ‘89). Association for Computing Machinery, New York, NY, USA, 60―76. https://doi.org/10.1145/75277.75283
Matt Warren. 2018. How generics were added to .NET. https://web.archive.org/web/20190624152357/https://mattwarren.org/2018/03/02/How-generics-were-added-to-.net/
Dave Wecker. 2019. LIQUi|>, The Language Integrated Quantum Operations Simulator. https://web.archive.org/web/20190818095124/http://stationq.github.io/Liquid/
Wikipedia. 2000. Visual FoxPro. https://web.archive.org/web/20191019042904/https://en.wikipedia.org/wiki/Visual_FoxPro
Wikipedia. 2014. Axum (programming language). https://web.archive.org/web/20200220231711/https://en.wikipedia.org/wiki/Axum_(programming_language)
Wikipedia. 2019a. Harlequin. https://web.archive.org/web/20191014090544/https://en.wikipedia.org/wiki/Harlequin_%28software_company%29
Wikipedia. 2019b. HyperCard. https://web.archive.org/web/20200227223619/https://en.wikipedia.org/wiki/HyperCard
Wikipedia. 2019c. MLDonkey. https://web.archive.org/web/20200111223533/https://en.wikipedia.org/wiki/MLDonkey
Wikipedia. 2019d. Mort, Elvis and Einstein. https://web.archive.org/web/20170818013024/https://de.wikipedia.org/wiki/Mort,_Elvis,_Einstein
Wikipedia. 2019e. ToolBook. https://web.archive.org/web/20190327020717/https://en.wikipedia.org/wiki/ToolBook
Wikipedia. 2020a. Hindley―Milner type system. https://web.archive.org/web/20200225025311/https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
Wikipedia. 2020b. History of Microsoft. https://web.archive.org/web/20191008134013/https://en.wikipedia.org/wiki/History_of_Microsoft
WinWorld. 2016. Microsoft FORTRAN 5.1. https://web.archive.org/web/20161007072505/https://winworldpc.com/product/microsoft-fortran/5x
Scott Wlaschin. [n.d.]. F# Day. https://web.archive.org/web/20170701200243/http://fsharpforfunandprofit.com/posts/happyfsharp-day/
S. Wlaschin. 2018. Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#. Pragmatic Bookshelf. https://books.google.co.uk/books?id=qA9QDwAAQBAJ
Scott Wlaschin. 2019. F# for Fun and Profit. https://web.archive.org/web/20191221145120/https://fsharpforfunandprofit.com/

インデックスへ戻る