Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Impacts
Equipment
Prizes
Activities
Press/Media
Courses
Search by expertise, name or affiliation
Accumulating bindings
Sam Lindley
Computer Science
School of Mathematical & Computer Sciences
Research output
:
Contribution to conference
›
Paper
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Accumulating bindings'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
implementation
100%
algorithms
33%
evaluation
33%
calculi
33%
errors
33%
Nursing and Health Professions
Stone Formation
100%
Computer Science
lambda-calculus
100%