GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
Published by GitHub
https://github.com/githubnext/gpt4-with-calc/blob/main/docs/report.md
Don Syme
Principal Researcher
Publications
Publications by Year
-
-
The F# Language Design RFCs (F# 7.0)
November 2022
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github. The RFCs for F# 7.0 have been developed by Don Syme, Phillip Carter and others.
Gradients without Backpropagation
Don Syme, Atılım Güneş Baydin, Barak A. Pearlmutter, Frank Wood, Philip Torr
February 2022
Available on arxiv.org as pre-publication.
-
The F# Language Design RFCs (F# 6.0)
May 2021
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and GitHub.
-
The early history of F#
2020 Proceedings of the ACM on Programming Languages | June 2020
The F# Language Design RFCs (F# 5.0)
May 2020
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github.
-
The F# Language Design RFCs (F# 4.6)
Don Syme, Phillip Carter
March 2019
-
The F# Language Design RFCs (F# 4.5)
August 2018
-
-
Classes for the Masses (Extended Abstract)
Claudio Russo, Matt Windsor, Rupert Horlick, James Clarke, Don Syme
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop | August 2016
Types from data
Don Syme, Tomas Petricek, Gustavo Guerra
Proceedings of Conference on Programming Language Design and Implementation (PLDI 2016) | July 2016
Distinguished Paper Award, PLDI 2016
Expert F# 4.0
Don Syme, Adam Granicz, Antonio Cisternino
Published by Apress | February 2016
ISBN: 978-1-4842-0740-6
-
In the Age of Web Typed Functional-First Programming Revisited
Don Syme, Tomas Petricek, Zach Bray
Post-proceedings of ML 2014 Workshop | April 2015
-
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
-
Browser-based software for technology transfer
Judith Bishop, Peli de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
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 Industrially Effective Environment for Hardware Verification
Carl Seger, Robert Jones, Mark Aagaard, Tom Melham, Clark Barrett, Don Syme
August 2005
A New Interface for HOL – Ideas, Issues and Implementation
June 2005
A Theory of Finite Maps
Don Syme, Graham Collins
June 2005
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
-
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
Don Syme, Andy Gordon
9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002
ISBN: 978-3-540-00010-5 (Print) 978-3-540-36078-0 (Online)
-
ILX: Extending the .NET Common IL for Functional Language Interoperability
September 2001
Typing a Multi-Language Intermediate Code
Andy Gordon, Don Syme
MSR-TR-2000-106 | January 2001
ISBN: 1-58113-336-7
Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
-
-
Three Tactic Theorem Proving
Donald Syme, Don Syme
January 1998
-
Proving Java Type Soundness
January 1997
Publications by Research Area
-
GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
Published by GitHub
https://github.com/githubnext/gpt4-with-calc/blob/main/docs/report.md
Gradients without Backpropagation
Don Syme, Atılım Güneş Baydin, Barak A. Pearlmutter, Frank Wood, Philip Torr
February 2022
Available on arxiv.org as pre-publication.
A Theory of Finite Maps
Don Syme, Graham Collins
June 2005
-
ILX: Extending the .NET Common IL for Functional Language Interoperability
September 2001
Typing a Multi-Language Intermediate Code
Andy Gordon, Don Syme
MSR-TR-2000-106 | January 2001
ISBN: 1-58113-336-7
Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
Declarative Theorem Proving for Operational Semantics
April 1999
Proving Java Type Soundness
January 1997
GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
Published by GitHub
https://github.com/githubnext/gpt4-with-calc/blob/main/docs/report.md
The F# Language Design RFCs (F# 7.0)
November 2022
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github. The RFCs for F# 7.0 have been developed by Don Syme, Phillip Carter and others.
The F# Language Design RFCs (F# 6.0)
May 2021
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and GitHub.
The early history of F#
2020 Proceedings of the ACM on Programming Languages | June 2020
The F# Language Design RFCs (F# 5.0)
May 2020
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github.
The F# Language Design RFCs (F# 4.6)
Don Syme, Phillip Carter
March 2019
The F# Language Design RFCs (F# 4.5)
August 2018
The F# Language Design RFCs (F# 4.0, 4.1)
Don Syme, Matthew J. Parkinson
May 2017
The F# Compiler Technical Overview
March 2017
Classes for the Masses (Extended Abstract)
Claudio Russo, Matt Windsor, Rupert Horlick, James Clarke, Don Syme
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop | August 2016
Types from data
Don Syme, Tomas Petricek, Gustavo Guerra
Proceedings of Conference on Programming Language Design and Implementation (PLDI 2016) | July 2016
Distinguished Paper Award, PLDI 2016
Expert F# 4.0
Don Syme, Adam Granicz, Antonio Cisternino
Published by Apress | February 2016
ISBN: 978-1-4842-0740-6
In the Age of Web Typed Functional-First Programming Revisited
Don Syme, Tomas Petricek, Zach Bray
Post-proceedings of ML 2014 Workshop | April 2015
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
Browser-based software for technology transfer
Judith Bishop, Peli de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
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
A New Interface for HOL – Ideas, Issues and Implementation
June 2005
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
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
Don Syme, Andy Gordon
9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002
ISBN: 978-3-540-00010-5 (Print) 978-3-540-36078-0 (Online)
-
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
-
An Industrially Effective Environment for Hardware Verification
Carl Seger, Robert Jones, Mark Aagaard, Tom Melham, Clark Barrett, Don Syme
August 2005
-
Three Tactic Theorem Proving
Donald Syme, Don Syme
January 1998
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
-
Typing a Multi-Language Intermediate Code
Andy Gordon, Don Syme
MSR-TR-2000-106 | January 2001
ISBN: 1-58113-336-7
Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA
GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
Published by GitHub
https://github.com/githubnext/gpt4-with-calc/blob/main/docs/report.md
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
-
The F# Language Design RFCs (F# 7.0)
November 2022
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github. The RFCs for F# 7.0 have been developed by Don Syme, Phillip Carter and others.
The F# Language Design RFCs (F# 6.0)
May 2021
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and GitHub.
The F# Language Design RFCs (F# 5.0)
May 2020
The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github.
The F# Language Design RFCs (F# 4.6)
Don Syme, Phillip Carter
March 2019
The F# Language Design RFCs (F# 4.5)
August 2018
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
-
Gradients without Backpropagation
Don Syme, Atılım Güneş Baydin, Barak A. Pearlmutter, Frank Wood, Philip Torr
February 2022
Available on arxiv.org as pre-publication.
-
ILX: Extending the .NET Common IL for Functional Language Interoperability
September 2001
Design and Implementation of Generics for the .NET Common Language Runtime
Andrew Kennedy, Don Syme
Programming Language Design and Implementation | January 2001
Declarative Theorem Proving for Operational Semantics
April 1999
Three Tactic Theorem Proving
Donald Syme, Don Syme
January 1998
Proving Java Type Soundness
January 1997
The early history of F#
2020 Proceedings of the ACM on Programming Languages | June 2020
Classes for the Masses (Extended Abstract)
Claudio Russo, Matt Windsor, Rupert Horlick, James Clarke, Don Syme
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop | August 2016
Types from data
Don Syme, Tomas Petricek, Gustavo Guerra
Proceedings of Conference on Programming Language Design and Implementation (PLDI 2016) | July 2016
Distinguished Paper Award, PLDI 2016
In the Age of Web Typed Functional-First Programming Revisited
Don Syme, Tomas Petricek, Zach Bray
Post-proceedings of ML 2014 Workshop | April 2015
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
Browser-based software for technology transfer
Judith Bishop, Peli de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
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
An Industrially Effective Environment for Hardware Verification
Carl Seger, Robert Jones, Mark Aagaard, Tom Melham, Clark Barrett, Don Syme
August 2005
A Theory of Finite Maps
Don Syme, Graham Collins
June 2005
A New Interface for HOL – Ideas, Issues and Implementation
June 2005
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
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
Don Syme, Andy Gordon
9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002
ISBN: 978-3-540-00010-5 (Print) 978-3-540-36078-0 (Online)
-
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# 4.0
Don Syme, Adam Granicz, Antonio Cisternino
Published by Apress | February 2016
ISBN: 978-1-4842-0740-6
Expert F# 2.0
Don Syme, Antonio Cisternino, Adam Granicz
Published by Apress | January 2008
ISBN: 978-1-4302-2432-7
-
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