Imperial College London — United Kingdom
Computer Science · Physical Sciences
19h-index2.0kcitations141works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(63), Parallel Computing and Optimization Techniques(38), Advanced Software Engineering Methodologies(31), Distributed systems and fault tolerance(30), Formal Methods in Verification(23)
Publications141 total
Proceedings of the ACM on Programming Languages·2025Open Access
Proceedings of the ACM on Programming Languages·2022· 5 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2022· 1 citedOpen Access
2022Open Access
Science of Computer Programming·2020· 2 citedOpen Access
arXiv (Cornell University)·2020Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020Open Access
Lecture notes in computer science·2020· 5 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020Open Access
Higher-order type-level programming in Haskell
International Conference on Functional Programming·2019
Proceedings of the ACM on Programming Languages·2019· 7 citedOpen Access
Artifact Digital Object Group·2019· 1 cited
arXiv (Cornell University)·2019· 12 citedOpen Access
arXiv (Cornell University)·2019· 3 citedOpen Access
2018· 2 cited
2018· 49 cited
arXiv (Cornell University)·2018Open Access
2017· 10 citedOpen Access
page 1 of 8Next →
Frequent Co-authors
Sophia Drossopoulou(17), Matthias Radestock(6), Jeff Magee(5), Chris Sadler(5), Jeff Kramer(3), David Wragg(3), Robert Chatley(3), Gary T. Leavens(3), Arnd Poetzsch‐Heffter(3), Dave Cunningham(3), Khilan Gudka(3), Franklin Schrans(2), Péter Müller(2), Simon Peyton Jones(2), Vladimir Jurisic(2), Erik Poll(2), Alex Buckley(2), Naranker Dulay(1), Sarfraz Khurshid(1), William Sonnex(1)