Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

9 relations
Automated proof checkingBenevolent dictator for lifeC++Computer science
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Integrated assessment and modelling: Overview and synthesis of salient dimensions
Integrated assessment and its inherent platform, integrated modelling, present an opportunity to synthesize diverse knowledge… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Review
2012
Review
2012
Find, Remind, and Bind: The Functions of Gratitude in Everyday Relationships
Though interest in the emotion of gratitude has historically focused on its role in social exchange, new evidence suggests a… Expand
Review
2010
Review
2010
Comparison of older and younger adults' attitudes towards and abilities with computers: Implications for training and learning
Computers and associated technology have become central to modern life. In a society where the population is rapidly ageing, the… Expand
  • table 1
2004
2004
Chemical composition of coniferous wood species occurring in Turkey
Turkey is rich in coniferous woods growing in different regions of the country, because of its geographical position at the… Expand
  • table 1
  • table 2
  • table 3
Review
2001
Review
2001
Technical Overview of the Common Language Runtime
The functionality of the recently announced Microsoft .NET system is founded on the capabilities of the Common Language… Expand
Highly Cited
2000
Highly Cited
2000
From LCF to HOL: a short history
  • 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… Expand
Highly Cited
1999
Highly Cited
1999
Law and empire in late antiquity
1. The law of Late Antiquity 2. Making the law 3. The construction of authority 4. The efficacy of law 5. In court 6. Crime and… Expand
Highly Cited
1995
Highly Cited
1995
DELINEATION OF THE SOCIAL NETWORK AND DIFFERENCES IN NETWORK SIZE
There is a long-standing tradition in the field of gerontology of studying the social networks of the aged. Most studies focus on… Expand
  • table 5.1
  • figure 5.1
  • figure 5.2
  • figure 5.3
Highly Cited
1993
Highly Cited
1993
A Theory of Marital Dissolution and Stability
Research is presented on the prospective longitudinal prediction of marital dissolution. First, a cascade toward marital… Expand
  • figure 2
  • figure 3
Highly Cited
1986
Highly Cited
1986
Social Rank, Dominance, Antler Size, and Access To Food in Snow-Bound Wild Woodland Caribou
We spent two winters studying the social behaviour of wild woodland caribou (Rangifer tarandus caribou) at a time when their main… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE