By Mr Vincent Jackson

Journal articles

Chen Z; Lafont A; O'Connor L; Keller G; McLaughlin C; Jackson V; Rizkallah C, 2023, 'Dargent: A Silver Bullet for Verified Data Layout Refinement', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3571240

O'Connor L; Chen Z; Rizkallah C; Jackson V; Amani S; Klein G; Murray T; Sewell T; Keller G, 2021, 'Cogent: Uniqueness types and certifying compilation', Journal of Functional Programming, 31, http://dx.doi.org/10.1017/S095679682100023X

Back to profile page