Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,489,306 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
9 relations
Automated proof checking
Benevolent dictator for life
C++
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Narratives of Miami in Dexter and Burn Notice
M. McNutt
2017
Corpus ID: 148969767
In popular discourse around television, a series’ relationship with place is often marked through the suggestion its setting is…
Expand
Review
2015
Review
2015
Integrated assessment and modelling: Overview and synthesis of salient dimensions
S. Hamilton
,
S. E. Sawah
,
J. Guillaume
,
A. Jakeman
,
S. Pierce
Environ. Model. Softw.
2015
Corpus ID: 31212998
Review
2012
Review
2012
Find, Remind, and Bind: The Functions of Gratitude in Everyday Relationships
Sara B. Algoe
2012
Corpus ID: 42133202
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
T. Broady
,
Amy Y. C. Chan
,
P. Caputi
Br. J. Educ. Technol.
2010
Corpus ID: 13461804
Computers and associated technology have become central to modern life. In a society where the population is rapidly ageing, the…
Expand
Highly Cited
2005
Highly Cited
2005
Generalized algebraic data types and object-oriented programming
A. Kennedy
,
Claudio V. Russo
OOPSLA '05
2005
Corpus ID: 6897392
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They…
Expand
2004
2004
Chemical composition of coniferous wood species occurring in Turkey
H. Hafızoğlu
,
M. Usta
Holz als Roh- und Werkstoff
2004
Corpus ID: 20286352
Turkey is rich in coniferous woods growing in different regions of the country, because of its geographical position at the…
Expand
Review
2001
Review
2001
Technical Overview of the Common Language Runtime
E. Meijer
,
J. Gough
2001
Corpus ID: 16604035
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
1995
Highly Cited
1995
DELINEATION OF THE SOCIAL NETWORK AND DIFFERENCES IN NETWORK SIZE
T. Tilburg
1995
Corpus ID: 147459119
There is a long-standing tradition in the field of gerontology of studying the social networks of the aged. Most studies focus on…
Expand
Highly Cited
1993
Highly Cited
1993
A Theory of Marital Dissolution and Stability
J. Gottman
1993
Corpus ID: 498168
Research is presented on the prospective longitudinal prediction of marital dissolution. First, a cascade toward marital…
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