Login / Signup
Michael Walker
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 1
Top Topics
Software Testing
Formal Specification
Asynchronous Circuits
Concurrent Programming
Top Venues
Haskell
FLOPS
</>
Publications
</>
Michael Walker
,
Colin Runciman
Cheap Remarks About Concurrent Programs.
FLOPS
(2018)
Michael Walker
,
Colin Runciman
Déjà Fu: a concurrency testing library for Haskell.
Haskell
(2015)