Members of the Project
Project Investigators
- Dominic Orchard, University of Kent, website
- Harley Eades III, Augusta University, website
Collaborators
- Marco Paviotti, University of Kent, website
- Vineet Rajani, University of Kent, website
- Michael Vollmer, University of Kent, website
PhD Students
- Vilem-Benjamin Liepelt, University of Kent, website
- Peter Hanukaev, Augusta University
- Jack Hughes, University of Kent
- Daniel Marshall, University of Kent, website
- Paulo Torrens, University of Kent
- Tori Vollmer, University of Kent
Project alumni
- Ben Moon, University of Kent, website
- (2019/20) Pattern Matching Modulo Theories, Declan Barnes, University of Kent
- (2019/20) Type-level case for lightweight dependent types in Granule, James Dyer, University of Kent
- (2019/20) Exceptions in a linear functional language with graded modal types, Rowan Smith, University of Kent
- (2018/19) Compiling Granule to LLVM, Ed Brown, University of Kent
- (2018/19) Type classes in a Linear Functional Language, Ben Moon, University of Kent
- (2018/19) An interactive REPL for Granule, Preston Keel, Augusta University
- (2017/18) (G)ADTs in a Linear Language with Graded Modal Types, Vilem-Benjamin Liepelt, University of Kent