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
Many holes in hindley-milner
Sam Lindley
Computer Science
School of Mathematical & Computer Sciences
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Many holes in hindley-milner'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
holes
100%
information
25%
dynamics
25%
values
25%
length
25%
phantoms
25%
plugging
25%
Computer Science
Type Systems
100%
Type Information
100%