Published September 1, 2024 | Version 1.0.1
Other Open

AUTOMAP Supplementary Material

Authors/Creators

  • 1. ROR icon University of Copenhagen

Description

This document contains proofs for the OOPSLA 2024 paper "AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming".

Files

supplementary.pdf

Files (558.7 kB)

Name Size Download all
md5:dc7ebabcc4fd78330c2e068d74cf9755
558.7 kB Preview Download

Additional details

Related works

Is referenced by
Conference paper: 10.1145/3689774 (DOI)