Login / Signup
Thomas Ekström Hansen
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Higher Level
Preprocessing
Desirable Properties
Test Set
Top Venues
CoRR
TyDe@ICFP
</>
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)