Items where Author, Editor or other role is "Hughes, Jack"
Jump to: 2024
Number of items: 1.
2024
Hughes, Jack Oliver (2024) Program Synthesis from Linear and Graded Types. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.107798) (KAR id:107798) |