Login / Signup
Niels Bunkenburg
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Semi Automatic
Metadata
Plagiarism Detection
Functional Language
Top Venues
Haskell
Haskell@ICFP
</>
Publications
</>
Finn Teegen
,
Kai-Oliver Prott
,
Niels Bunkenburg
Haskell⁻¹: automatic function inversion in Haskell.
Haskell
(2021)
Jan Christiansen
,
Sandra Dylus
,
Niels Bunkenburg
Verifying effectful Haskell programs in Coq.
Haskell@ICFP
(2019)