new paper

melsman · Oct 9, 2024 · 6f13f05 · 6f13f05
1 parent 2e04e65
commit 6f13f05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/papers.md b/papers.md
@@ -6,6 +6,8 @@ group: navigation
 ---
 {% include JB/setup %}
 
+* Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman. __AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming__. In _Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2_. Article No.: 334, 27 pages. Pasadena, USA. October, 2024. [ACM DL](https://doi.org/10.1145/3689774). [PDF](pdf/oopslab24main-p607-final.pdf).
+
 * Martin Elsman. __Double-Ended Bit-Stealing for Algebraic Data Types__. In _Proceedings of the 2024 ACM SIGPLAN International Conference on Functional Programming (ICFP '24)_. Milan, Italy. September 4-6, 2024. [Abstract](https://icfp24.sigplan.org/details/icfp-2024-papers/5/Double-Ended-Bit-Stealing-for-Algebraic-Data-Types). [PDF](pdf/icfp24main-p22-final.pdf).
 
 * Martin Elsman. __Explicit Effects and Effect Constraints in ReML__. In _Proceedings of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '24)_, London, United Kingdom. January 17-19, 2024. [Abstract](https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/81/Explicit-Effects-and-Effect-Constraints-in-ReML). [PDF](pdf/popl24-final.pdf).

diff --git a/pdf/oopslab24main-p607-final.pdf b/pdf/oopslab24main-p607-final.pdf