Nikolaj Hinnerskov
Orcid: 0000-0001-7559-0939
According to our database1,
Nikolaj Hinnerskov
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.
Proc. ACM Program. Lang., 2024
2023
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023
Proceedings of the IEEE International Conference on Big Data, 2023