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 Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. Guarded Kleene Algebra with Tests: Automata Learning. Guarded Kleene Algebra with Tests: Automata Learning.