Lightweight Approaches to the Verification of Functional Programs. Eddie Jones. PhD Thesis, University of Bristol. 2023 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs Higher-order MSL constraints. Higher-order MSL constraints. Taking Back Control in an Intermediate Representation for GPU Computing. Taking Back Control in an Intermediate Representation for GPU Computing.
by