Edwin Brady

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Desirable Properties

Top Venues

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Thomas Ekström Hansen, Edwin Brady
Type-Level Property Based Testing. TyDe@ICFP (2024)
Thomas Ekström Hansen, Edwin Brady
Type-level Property Based Testing. CoRR (2024)