Nikolaj Hey Hinnerskov -

Registered user since Tue 4 Mar 2025

Name:Nikolaj Hey Hinnerskov

Affiliation:DIKU, University of Copenhagen

Contributions

2024

SPLASH

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the OOPSLA 2024-track

ARRAY

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the ARRAY 2024-track
Author of Mechanical Proofs in an Array-Combinator Language within the ARRAY 2024-track