Type and Shape inference

Shafarenko, Alex (PI)
Loomes, Martin James (CoI)

Centre for Computer Science and Informatics Research

Project: Research

Status	Finished
Effective start/end date	20/02/02 → 19/09/03

Funding

UKRI - Engineering and Physical Sciences Research Council (EPSRC): £2,242.00