View Proposal

Proposer
Joe Wells
Title
Toward type error explanations for the Hume language
Goal
Description
Hume (http://hume-lang.org/) is a language using ideas from both functional programming and finite automata together with strong types to obtain guarantees on time and space usage for safety-critical systems. The project would begin the process of extending the type error explainer Skalpel so it can find the portion of a Hume program responsible for a type error. Most likely only part of Hume will be handled. This would also begin the process of extending Skalpel to analyze multiple languages.
Resources
Background
parsing, programming languages, functional programming
Url
External Link
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
1
Supervisor
Joe Wells
Keywords
Degrees
Back to List