Beskrivelse
Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming submitted to OOPSLA 24.
| Dato for tilgængelighed | 4 jul. 2024 |
|---|---|
| Forlag | Zenodo |
futhark-oopsla24
- Robert Schenck (Ophavsmand)
- Nikolaj Hey Hinnerskov (Ophavsmand)
- Troels Henriksen (Ophavsmand)
- Magnus Madsen (Ophavsmand)
- Martin Elsman (Ophavsmand)
Data set