new paper

melsman · Nov 9, 2023 · 95d2fc2 · 95d2fc2
1 parent a365cfd
commit 95d2fc2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/papers.md b/papers.md
@@ -6,6 +6,8 @@ group: navigation
 ---
 {% include JB/setup %}
 
+* 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).
+
 * Lubin Bailly, Troels Henriksen, Martin Elsman. __Shape-Constrained Array Programming with Size-Dependent Types__. In _Proceedings of the 2023 ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (FHPNC '23)_. Seattle, Washington, USA. September, 2023. [PDF](pdf/fhpnc23.pdf)
 
 * Martin Elsman. __Programming with Explicit Effects in ReML__. In _Informal Proceeding of the 2023 ML Family Workshop (ML '23)_, Seattle, Washington, USA. September 2023. [Abstract](https://icfp23.sigplan.org/details/mlworkshop-2023/5/Programming-with-Explicit-Effects-in-ReML).