View Proposal

Proposer
Fairouz Kamareddine
Title
A visualiser for reductions in the lambda calculus
Goal
experience in visualisation + tradeoff of termination/efficiency
Description
The lambda calculus is an idealised programming language. Reductions in the lambda calculus allowed us to study evaluation strategies in programming languages. This project is to visualise reductions (best using Python), and to assess and compare different strategies and tradeoffs between termination and efficiency. The visualised reductions will be animated graphs that almost speak to the user. Some of these graphs will be impressive. You can demonstrate the usefulness of what you do either for educational purposes, or for measuring the efficiency of different programs.
Resources
Background
Url
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
1
Supervisor
Fairouz Kamareddine
Keywords
Degrees
Back to List