Skip to search formSkip to main contentSkip to account menu

Don Syme

Known as: Syme 
Don Syme is an Australian computer scientist and a Principal Researcher at Microsoft Research, Cambridge, U.K. He is the designer and architect of… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In popular discourse around television, a series’ relationship with place is often marked through the suggestion its setting is… 
Review
2012
Review
2012
Though interest in the emotion of gratitude has historically focused on its role in social exchange, new evidence suggests a… 
Review
2010
Review
2010
Computers and associated technology have become central to modern life. In a society where the population is rapidly ageing, the… 
Highly Cited
2005
Highly Cited
2005
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They… 
2004
2004
Turkey is rich in coniferous woods growing in different regions of the country, because of its geographical position at the… 
Review
2001
Review
2001
The functionality of the recently announced Microsoft .NET system is founded on the capabilities of the Common Language… 
Highly Cited
2000
Highly Cited
2000
  • M. Gordon
  • Proof, Language, and Interaction
  • 2000
  • Corpus ID: 2734248
The original LCF system was a proof-checking program developed at Stanford University by Robin Milner in 1972. Descendents of LCF… 
Highly Cited
1995
Highly Cited
1995
There is a long-standing tradition in the field of gerontology of studying the social networks of the aged. Most studies focus on… 
Highly Cited
1993
Highly Cited
1993
Research is presented on the prospective longitudinal prediction of marital dissolution. First, a cascade toward marital…