The F# Language Design RFCs (F# 4.0, 4.1)
Don Syme, Matthew J. Parkinson
May 2017
Publications
Publications by Year
-
-
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
-
Themes in Information-Rich Functional Programming for Internet-Scale Data Sources
Don Syme, Kenji Takeda, , Donna Malayeri,
January 2013
-
The F# 3.0 Language Specification
October 2012
October 2012
F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,
MSR-TR-2012-101 | September 2012
-
The F# 2.0 Language Specification
April 2011
April 2011
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Tomas Petricek, Don Syme,
Proceedings of Practical Aspects of Declarative Languages | January 2011
Proceedings of Practical Aspects of Declarative Languages
The F# Asynchronous Programming Model
Don Syme, Tomas Petricek, Dmitry Lomov
In Proceedings of Principles and Applications of Declarative Languages, 2011 | January 2011
-
Collecting hollywood’s garbage: avoiding space-leaks in composite events
ISMM '10 Proceedings of the 2010 international symposium on Memory management | January 2010
-
The F# Component Guidelines
April 2009
April 2009
-
Introduction to F# (recorded lecture)
February 2008
Introduction to F# (recorded lecture)
Parallel Functional Programming on .NET with F# (recorded lecture)
February 2008
Expert F# 2.0
Don Syme, Antonio Cisternino, Adam Granicz
Published by Apress | January 2008
ISBN: 978-1-4302-2432-7
-
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | October 2007
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension
Don Syme, Gregory Neverov, James Margetson
MSR-TR-2007-33 | April 2007
-
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Proceedings of the ACM-SIGPLAN Workshop on ML (2005) | March 2006
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution
Donald Syme, Don Syme
Proceedings of the 2006 workshop on ML | January 2006
-
An Alternative Approach to Initializing Mutually Referential Objects
MSR-TR-2005-31 | March 2005
-
Transposing F to C#: Expressivity of parametric polymorphism in an object-oriented language
Andrew Kennedy, Don Syme
Concurrency and Computation: Practice and Experience | June 2004, Vol 16(7)
to appear
Transposing F to C#: Expressivity of polymorphism in an object-oriented language
Don Syme, Andrew Kennedy
June 2004
Combining Generics, Pre-compilation and Sharing Between Software-Based Processes
Don Syme, Andrew Kennedy
January 2004
-
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
Publications by Research Area
-
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
The F# Language Design RFCs (F# 4.0, 4.1)
Don Syme, Matthew J. Parkinson
May 2017
The F# Compiler Technical Overview
March 2017
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
Themes in Information-Rich Functional Programming for Internet-Scale Data Sources
Don Syme, Kenji Takeda, , Donna Malayeri,
January 2013
The F# 3.0 Language Specification
October 2012
October 2012
F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,
MSR-TR-2012-101 | September 2012
The F# 2.0 Language Specification
April 2011
April 2011
The F# Asynchronous Programming Model
Don Syme, Tomas Petricek, Dmitry Lomov
In Proceedings of Principles and Applications of Declarative Languages, 2011 | January 2011
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Tomas Petricek, Don Syme,
Proceedings of Practical Aspects of Declarative Languages | January 2011
Proceedings of Practical Aspects of Declarative Languages
Collecting hollywood’s garbage: avoiding space-leaks in composite events
ISMM '10 Proceedings of the 2010 international symposium on Memory management | January 2010
The F# Component Guidelines
April 2009
April 2009
Introduction to F# (recorded lecture)
February 2008
Introduction to F# (recorded lecture)
Parallel Functional Programming on .NET with F# (recorded lecture)
February 2008
Expert F# 2.0
Don Syme, Antonio Cisternino, Adam Granicz
Published by Apress | January 2008
ISBN: 978-1-4302-2432-7
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | October 2007
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension
Don Syme, Gregory Neverov, James Margetson
MSR-TR-2007-33 | April 2007
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Proceedings of the ACM-SIGPLAN Workshop on ML (2005) | March 2006
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution
Donald Syme, Don Syme
Proceedings of the 2006 workshop on ML | January 2006
An Alternative Approach to Initializing Mutually Referential Objects
MSR-TR-2005-31 | March 2005
Combining Generics, Pre-compilation and Sharing Between Software-Based Processes
Don Syme, Andrew Kennedy
January 2004
-
F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,
MSR-TR-2012-101 | September 2012
-
F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,
MSR-TR-2012-101 | September 2012
-
Transposing F to C#: Expressivity of parametric polymorphism in an object-oriented language
Andrew Kennedy, Don Syme
Concurrency and Computation: Practice and Experience | June 2004, Vol 16(7)
to appear
Transposing F to C#: Expressivity of polymorphism in an object-oriented language
Don Syme, Andrew Kennedy
June 2004
Publications by Type
-
The F# 3.0 Language Specification
October 2012
October 2012
The F# 2.0 Language Specification
April 2011
April 2011
The F# Component Guidelines
April 2009
April 2009
-
Expert F# 2.0
Don Syme, Antonio Cisternino, Adam Granicz
Published by Apress | January 2008
ISBN: 978-1-4302-2432-7
-
The F# Language Design RFCs (F# 4.0, 4.1)
Don Syme, Matthew J. Parkinson
May 2017
The F# Compiler Technical Overview
March 2017
Introduction to F# (recorded lecture)
February 2008
Introduction to F# (recorded lecture)
Parallel Functional Programming on .NET with F# (recorded lecture)
February 2008
-
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
Themes in Information-Rich Functional Programming for Internet-Scale Data Sources
Don Syme, Kenji Takeda, , Donna Malayeri,
January 2013
The F# Asynchronous Programming Model
Don Syme, Tomas Petricek, Dmitry Lomov
In Proceedings of Principles and Applications of Declarative Languages, 2011 | January 2011
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Tomas Petricek, Don Syme,
Proceedings of Practical Aspects of Declarative Languages | January 2011
Proceedings of Practical Aspects of Declarative Languages
Collecting hollywood’s garbage: avoiding space-leaks in composite events
ISMM '10 Proceedings of the 2010 international symposium on Memory management | January 2010
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | October 2007
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Proceedings of the ACM-SIGPLAN Workshop on ML (2005) | March 2006
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution
Donald Syme, Don Syme
Proceedings of the 2006 workshop on ML | January 2006
Transposing F to C#: Expressivity of polymorphism in an object-oriented language
Don Syme, Andrew Kennedy
June 2004
Combining Generics, Pre-compilation and Sharing Between Software-Based Processes
Don Syme, Andrew Kennedy
January 2004
-
F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,
MSR-TR-2012-101 | September 2012
Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension
Don Syme, Gregory Neverov, James Margetson
MSR-TR-2007-33 | April 2007
An Alternative Approach to Initializing Mutually Referential Objects
MSR-TR-2005-31 | March 2005
-
Transposing F to C#: Expressivity of parametric polymorphism in an object-oriented language
Andrew Kennedy, Don Syme
Concurrency and Computation: Practice and Experience | June 2004, Vol 16(7)
to appear
People
Don Syme
Principal Researcher
Kenji Takeda
Director, Academic Health and AI Partnerships