https://matthew.brecknell.net/posts/hole-driven-haskell/ 2013-02-26T06:25:00+00:00 https://matthew.brecknell.net/posts/btree-gadt/ 2013-05-15T23:15:00+00:00 https://matthew.brecknell.net/posts/c-plus-plus-11-universal-reference-pop-quiz/ 2013-08-02T11:51:00+00:00 https://matthew.brecknell.net/posts/difference-lists/ 2014-09-23T08:00:00+00:00 https://matthew.brecknell.net/posts/pattern-matching-dependent-types-in-coq/ 2015-05-21T01:30:00+00:00 https://matthew.brecknell.net/posts/intro-sel4-proofs/ 2021-12-28T01:30:00+00:00 https://matthew.brecknell.net/posts/sel4-integrity-theorems/ 2022-12-11T01:30:00+00:00 https://matthew.brecknell.net/about/ https://matthew.brecknell.net/posts/ https://matthew.brecknell.net/tags/ https://matthew.brecknell.net/ https://matthew.brecknell.net/tags/haskell/ https://matthew.brecknell.net/tags/screencast/ https://matthew.brecknell.net/tags/data-structures/ https://matthew.brecknell.net/tags/dependent-types/ https://matthew.brecknell.net/tags/c-plus-plus/ https://matthew.brecknell.net/tags/coq/ https://matthew.brecknell.net/tags/sel4/ https://matthew.brecknell.net/tags/verification/ https://matthew.brecknell.net/tags/talk/ https://matthew.brecknell.net/posts/btree-gadt/btree-gadt-script.pdf 2013-05-15T23:15:00+00:00 https://matthew.brecknell.net/posts/btree-gadt/btree-gadt-ylj2013.pdf 2013-05-15T23:15:00+00:00 https://matthew.brecknell.net/posts/intro-sel4-proofs/intro-sel4-proofs.pdf 2021-12-28T01:30:00+00:00 https://matthew.brecknell.net/posts/pattern-matching-dependent-types-in-coq/ylj15-coq-pattern-match.pdf 2015-05-21T01:30:00+00:00 https://matthew.brecknell.net/posts/sel4-integrity-theorems/sel4-integrity-theorems.pdf 2022-12-11T01:30:00+00:00