Portrait of Dr David Castro-Perez

Dr David Castro-Perez

Lecturer
Interests: semantics, type theory, domain-specific languages, concurrency

Publications

Last updated 24 September 2021