Thesis Topic Details
Topic ID: |
3307 | |
Title: |
Formalising GHC's Type System | |
Supervisor: |
Manuel Chakravarty | |
Research Area: |
Programming Languages, Theory | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Ben Lippmeier | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE SE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
Background in type theory | |
Description: |
Formalise the core of the extended Haskell type system implemented by the Glasgow Haskell Compiler in Agda. | |
Comments: |
-- | |
| Past Student Reports | ||
| Liam O'CONNOR-DAVIS in s2, 2012 Formalising GHC's Type System |
||
Download report from the CSE Thesis Report Library NOTE: only current CSE students can login to view and select reports to download. | ||