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
Parametric Type Inferencing for Helium
Bastiaan Heeren,
Jurriaan Hage
Computer Science
School of Mathematical & Computer Sciences
Research output
:
Book/Report
›
Other report
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Parametric Type Inferencing for Helium'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
helium
100%
implementation
33%
design
33%
algorithms
33%
graphs
33%
errors
33%
Computer Science
Type Inference
100%
Type Inferencing
100%
Design Criterion
50%
Mathematics
Parametric
100%
Error Message
100%