- document
- Clark, L.A. (author), De Leeuw, J.A. (author), Yu, C.S. (author) bachelor thesis 2016
- document
- Clark, E. (author) master thesis 2016
- document
-
Clark, Liam (author)Interaction trees are an active development in representing effectful and impure pro- grams in the Coq proof assistant. Examples of programs they can represent are programs that use: mutable state, concurrency and general recursion. Besides representing these programs we also want to reason about and verify these programs using separation logic....master thesis 2022