GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
作者：GitHub
https://github.com/githubnext/gpt4-with-calc/blob/main/docs/report.md
Don Syme
Principal Researcher
论文与出版物
-
-
-
-
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
-
-
-
-
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, Jonathan "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, 第 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
-
-
-
GPT-4 Equipped with Numeric Calculation
MSR-TR-2023-48 | May 2023
作者：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
作者：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, Jonathan "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
-
Parallel Functional Programming on .NET with F# (recorded lecture)
February 2008
-
Introduction to F# (recorded lecture)
February 2008
Introduction to F# (recorded lecture)
-
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 polymorphism in an object-oriented language
Don Syme, Andrew Kennedy
June 2004
-
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, 第 16 卷(7)
to appear
-
-
-
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
作者：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
-
Parallel Functional Programming on .NET with F# (recorded lecture)
February 2008
-
Introduction to F# (recorded lecture)
February 2008
Introduction to F# (recorded lecture)
-
-
-
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, Jonathan "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, 第 16 卷(7)
to appear
-