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 John 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.