Matthew Parkinson

30 papers and 349 indexed citations i.

Matthew Parkinson has authored 30 papers that have received a total of 349 indexed citations. This includes 23 papers in Artificial Intelligence, 16 papers in Computer Networks and Communications and 16 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (20 papers), Distributed systems and fault tolerance (16 papers) and Parallel Computing and Optimization Techniques (16 papers). Matthew Parkinson is often cited by papers focused on Logic, programming, and type systems (20 papers), Distributed systems and fault tolerance (16 papers) and Parallel Computing and Optimization Techniques (16 papers) and collaborates with scholars based in United Kingdom, United States and Denmark. Matthew Parkinson's co-authors include Richard Bornat, Gavin Bierman, Lars Birkedal, Sophia Drossopoulou and Mike Dodds and has published in prestigious journals such as ACM Computing Surveys, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems