Improved Semantics for Dependently Typed Pattern Matching

Project Details

Description

Award value: £107,063.00
StatusActive
Effective start/end date1/01/2331/12/24

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.