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 (opens in a new tab)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language
This article presents the formal syntax and semantics for a large subset of the Solidity programming language developed for the… 
2017
2017
Narratives of Miami in Dexter and Burn Notice
In popular discourse around television, a series’ relationship with place is often marked through the suggestion its setting is… 
2014
2014
Fatores sociais associados a transtornos mentais com situações de risco na atenção primária de saúde Social factors associated with mental disorders with risk situations in the primary health care
ABSTRACT: Objective: To evaluate patients with mental disorders, with or without risk situations, treated at primary health care… 
Highly Cited
2007
Highly Cited
2007
Older adultsâ user experiences with mobile phones: identification of user clusters and user requirements
This research addressed how older adults experience their mobile phones in their everyday lives and how mobile phones could be… 
2005
2005
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… 
2004
2004
Metaphor: A Multi-stage, Object-Oriented Programming Language
This paper presents a language (called Metaphor) for expressing staged programs in a strongly-typed, imperative, object-oriented… 
1998
1998
Interaction for Declarative Theorem Proving
This article is concerned with interactive support for \declarative theorem proving". After introducing declarative theorem… 
1992
1992
Nitrogen and phosphorus concentrations and export for the upper Kuparuk River on the North Slope of Alaska in 1980
Nitrogen and phosphorus concentrations were measured from May to August 1980 in the upper Kuparuk River, a tundra stream on the… 
1988
1988
TRAUMATIC PARTIAL FOOT AMPUTATIONS IN ADULTS
A retrospective study of 260 industrial amputees was undertaken to determine the long-term functional results of partial foot… 
Highly Cited
1983
Highly Cited
1983
Historia Augusta Papers
This volume brings together fifteen studies written since 1972 on the notorious Historia Augusta. Syme advances the theory… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)