ICFP 2024 – Author Index

A B C D E F G H I J K L M N O P Q S T U V W X Y Z

	Aguirre, Alejandro	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Almost-Sure Termination by ..." Almost-Sure Termination by Guarded Refinement Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal (New York University, USA; Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p31-p (type: Full Paper) doi:10.1145/3674632 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Allain, Clément	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Snapshottable Stores ..." Snapshottable Stores Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer (Inria, France; OCamlPro, France; Université Paris Cité - Inria - CNRS, France) Publisher's Version Article: icfp24main-p48-p (type: Full Paper) doi:10.1145/3674637
	Ayele, Bereket Shimels	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Bahr, Patrick	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Beyond Trees: Calculating ..." Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, United Kingdom) Publisher's Version Artifacts Reusable Article: icfp24main-p50-p (type: Full Paper) doi:10.1145/3674638
	Ballantyne, Michael	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Compiled, Extensible, Multi-language ..." Compiled, Extensible, Multi-language DSLs (Functional Pearl) Michael Ballantyne, Mitch Gamburg, and Jason Hemann (Northeastern University, USA; Unaffiliated, USA; Seton Hall University, USA) Publisher's Version Article: icfp24main-p14-p (type: Full Paper) doi:10.1145/3674627
	Barbone, Mark	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Barrière, Aurèle	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Coq Mechanization of JavaScript ..." A Coq Mechanization of JavaScript Regular Expression Semantics Noé De Santo, Aurèle Barrière, and Clément Pit-Claudel (EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: icfp24main-p109-p (type: Full Paper) doi:10.1145/3674666
	Beck, Calvin	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Two-Phase Infinite/Finite ..." A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Functional Article: icfp24main-p85-p (type: Full Paper) doi:10.1145/3674652
	Bekele, Bereket Ngussie	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Binder, David	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Grokking the Sequent Calculus ..." Grokking the Sequent Calculus (Functional Pearl) David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Artifacts Reusable Article: icfp24main-p54-p (type: Full Paper) doi:10.1145/3674639
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Almost-Sure Termination by ..." Almost-Sure Termination by Guarded Refinement Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal (New York University, USA; Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p31-p (type: Full Paper) doi:10.1145/3674632 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Carette, Jacques	Proc. ACM Program. Lang., vol. 8, issue ICFP: "How to Bake a Quantum Π ..." How to Bake a Quantum Π Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry (McMaster University, Canada; University of Edinburgh, United Kingdom; University of Southern Denmark, Denmark; Indiana University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p5-p (type: Full Paper) doi:10.1145/3674625
	Chen, Hanxi	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Two-Phase Infinite/Finite ..." A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Functional Article: icfp24main-p85-p (type: Full Paper) doi:10.1145/3674652
	Chen, Jiawei	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Chen, Yijia	Proc. ACM Program. Lang., vol. 8, issue ICFP: "The Long Way to Deforestation: ..." The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures Yijia Chen and Lionel Parreaux (Hong Kong University of Science and Technology, Hong Kong, China) Publisher's Version Artifacts Functional Article: icfp24main-p39-p (type: Full Paper) doi:10.1145/3674634
	Chiang, Tsung-Ju	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Staged Compilation with Module ..." Staged Compilation with Module Functors Tsung-Ju Chiang, Jeremy Yallop, Leo White, and Ningning Xie (University of Toronto, Canada; University of Cambridge, United Kingdom; Jane Street, United Kingdom) Publisher's Version Article: icfp24main-p79-p (type: Full Paper) doi:10.1145/3674649
	Chin, Wei-Ngan	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Specification and Verification ..." Specification and Verification for Unrestricted Algebraic Effects and Handling Yahui Song, Darius Foo, and Wei-Ngan Chin (National University of Singapore, Singapore) Publisher's Version Artifacts Functional Article: icfp24main-p95-p (type: Full Paper) doi:10.1145/3674656
	Claessen, Koen	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	Clément, Basile	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Snapshottable Stores ..." Snapshottable Stores Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer (Inria, France; OCamlPro, France; Université Paris Cité - Inria - CNRS, France) Publisher's Version Article: icfp24main-p48-p (type: Full Paper) doi:10.1145/3674637
	Coltharp, Nicholas	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	De Medeiros, Markus	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	De Mendonça, José Luiz Vargas	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	De Roover, Coen	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Blame-Correct Support for ..." Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Bram Vandenbogaerde, Quentin Stiévenart, and Coen De Roover (Vrije Universiteit Brussel, Belgium; Université du Québec à Montréal, Canada) Publisher's Version Artifacts Reusable Article: icfp24main-p64-p (type: Full Paper) doi:10.1145/3674643
	De Santo, Noé	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Coq Mechanization of JavaScript ..." A Coq Mechanization of JavaScript Regular Expression Semantics Noé De Santo, Aurèle Barrière, and Clément Pit-Claudel (EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: icfp24main-p109-p (type: Full Paper) doi:10.1145/3674666
	Dijkstra, Atze	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Functional Programming in ..." Functional Programming in Financial Markets (Experience Report) Atze Dijkstra, José Pedro Magalhães, and Pierre Néron (Standard Chartered Bank, United Kingdom; Standard Chartered Bank, Singapore) Publisher's Version Article: icfp24main-p32-p (type: Full Paper) doi:10.1145/3674633
	Dolan, Stephen	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Oxidizing OCaml with Modal ..." Oxidizing OCaml with Modal Memory Management Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, and Sam Lindley (University of Edinburgh, United Kingdom; Jane Street, United Kingdom; Jane Street, USA) Publisher's Version Archive submitted (890 kB) Article: icfp24main-p58-p (type: Full Paper) doi:10.1145/3674642
	Downen, Paul	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Call-by-Unboxed-Value ..." Call-by-Unboxed-Value Paul Downen (University of Massachusetts at Lowell, USA) Publisher's Version Article: icfp24main-p90-p (type: Full Paper) doi:10.1145/3674654
	Eisenberg, Richard A.	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Oxidizing OCaml with Modal ..." Oxidizing OCaml with Modal Memory Management Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, and Sam Lindley (University of Edinburgh, United Kingdom; Jane Street, United Kingdom; Jane Street, USA) Publisher's Version Archive submitted (890 kB) Article: icfp24main-p58-p (type: Full Paper) doi:10.1145/3674642
	Elsman, Martin	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Double-Ended Bit-Stealing ..." Double-Ended Bit-Stealing for Algebraic Data Types Martin Elsman (University of Copenhagen, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p22-p (type: Full Paper) doi:10.1145/3674628
	Findler, Robert Bruce	Proc. ACM Program. Lang., vol. 8, issue ICFP: "The Functional, the Imperative, ..." The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) Manuel Serrano and Robert Bruce Findler (Inria, France; Université Côte d’Azur, France; Northwestern University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p29-p (type: Full Paper) doi:10.1145/3674631
	Foo, Darius	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Specification and Verification ..." Specification and Verification for Unrestricted Algebraic Effects and Handling Yahui Song, Darius Foo, and Wei-Ngan Chin (National University of Singapore, Singapore) Publisher's Version Artifacts Functional Article: icfp24main-p95-p (type: Full Paper) doi:10.1145/3674656
	Fromherz, Aymeric	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Sound Borrow-Checking for ..." Sound Borrow-Checking for Rust via Symbolic Semantics Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Azure Research, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p55-p (type: Full Paper) doi:10.1145/3674640
	Gamburg, Mitch	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Compiled, Extensible, Multi-language ..." Compiled, Extensible, Multi-language DSLs (Functional Pearl) Michael Ballantyne, Mitch Gamburg, and Jason Hemann (Northeastern University, USA; Unaffiliated, USA; Seton Hall University, USA) Publisher's Version Article: icfp24main-p14-p (type: Full Paper) doi:10.1145/3674627
	Giridharan, Aditya	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Gonnord, Laure	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstract Interpreters: A Monadic ..." Abstract Interpreters: A Monadic Approach to Modular Verification Sébastien Michelland, Yannick Zakowski, and Laure Gonnord (Université Grenoble-Alpes - Grenoble INP - LCIS, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Reusable Article: icfp24main-p73-p (type: Full Paper) doi:10.1145/3674646
	Gregersen, Simon Oddershede	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Almost-Sure Termination by ..." Almost-Sure Termination by Guarded Refinement Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal (New York University, USA; Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p31-p (type: Full Paper) doi:10.1145/3674632 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Haselwarter, Philipp G.	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Almost-Sure Termination by ..." Almost-Sure Termination by Guarded Refinement Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal (New York University, USA; Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p31-p (type: Full Paper) doi:10.1145/3674632 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Heeren, Bastiaan	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Example-Based Reasoning about ..." Example-Based Reasoning about the Realizability of Polymorphic Programs Niek Mulleners, Johan Jeuring, and Bastiaan Heeren (Utrecht University, Netherlands; Open Universiteit, Netherlands) Publisher's Version Artifacts Reusable Article: icfp24main-p45-p (type: Full Paper) doi:10.1145/3674636
	Hemann, Jason	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Compiled, Extensible, Multi-language ..." Compiled, Extensible, Multi-language DSLs (Functional Pearl) Michael Ballantyne, Mitch Gamburg, and Jason Hemann (Northeastern University, USA; Unaffiliated, USA; Seton Hall University, USA) Publisher's Version Article: icfp24main-p14-p (type: Full Paper) doi:10.1145/3674627
	Heunen, Chris	Proc. ACM Program. Lang., vol. 8, issue ICFP: "How to Bake a Quantum Π ..." How to Bake a Quantum Π Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry (McMaster University, Canada; University of Edinburgh, United Kingdom; University of Southern Denmark, Denmark; Indiana University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p5-p (type: Full Paper) doi:10.1145/3674625
	Ho, Son	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Sound Borrow-Checking for ..." Sound Borrow-Checking for Rust via Symbolic Semantics Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Azure Research, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p55-p (type: Full Paper) doi:10.1145/3674640
	Hutton, Graham	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Beyond Trees: Calculating ..." Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, United Kingdom) Publisher's Version Artifacts Reusable Article: icfp24main-p50-p (type: Full Paper) doi:10.1145/3674638
	Igarashi, Atsushi	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstracting Effect Systems ..." Abstracting Effect Systems for Algebraic Effect Handlers Takuma Yoshioka, Taro Sekiyama, and Atsushi Igarashi (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan) Publisher's Version Archive submitted (740 kB) Article: icfp24main-p56-p (type: Full Paper) doi:10.1145/3674641
	Israel, Laura	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	Itzhaky, Shachar	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Jalili, Shayan	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Jeannin, Jean-Baptiste	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Jeuring, Johan	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Example-Based Reasoning about ..." Example-Based Reasoning about the Realizability of Polymorphic Programs Niek Mulleners, Johan Jeuring, and Bastiaan Heeren (Utrecht University, Netherlands; Open Universiteit, Netherlands) Publisher's Version Artifacts Reusable Article: icfp24main-p45-p (type: Full Paper) doi:10.1145/3674636
	Jhala, Ranjit	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Ji, Ruyi	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Johnson, Daniel D.	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Parallel Algebraic Effect ..." Parallel Algebraic Effect Handlers Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, and Adam Paszke (University of Toronto, Canada; Google DeepMind, Canada; Google DeepMind, USA; Google DeepMind, Germany) Publisher's Version Article: icfp24main-p84-p (type: Full Paper) doi:10.1145/3674651
	Kaarsgaard, Robin	Proc. ACM Program. Lang., vol. 8, issue ICFP: "How to Bake a Quantum Π ..." How to Bake a Quantum Π Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry (McMaster University, Canada; University of Edinburgh, United Kingdom; University of Southern Denmark, Denmark; Indiana University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p5-p (type: Full Paper) doi:10.1145/3674625
	Kovács, András	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Closure-Free Functional Programming ..." Closure-Free Functional Programming in a Two-Level Type Theory András Kovács (University of Gothenburg, Sweden) Publisher's Version Artifacts Reusable Article: icfp24main-p75-p (type: Full Paper) doi:10.1145/3674648
	Kramarz, Maite	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	Kura, Satoshi	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Automated Verification of ..." Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System Satoshi Kura and Hiroshi Unno (Waseda University, Japan; Tohoku University, Japan) Publisher's Version Artifacts Reusable Article: icfp24main-p103-p (type: Full Paper) doi:10.1145/3674662
	Kurashige, Cole	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Lee, Dongjae	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Refinement Composition Logic ..." Refinement Composition Logic Youngju Song and Dongjae Lee (MPI-SWS, Germany; Seoul National University, South Korea) Publisher's Version Article: icfp24main-p69-p (type: Full Paper) doi:10.1145/3674645
	Li, Kwing Hei	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Li, Yao	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	Lindley, Sam	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Oxidizing OCaml with Modal ..." Oxidizing OCaml with Modal Memory Management Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, and Sam Lindley (University of Edinburgh, United Kingdom; Jane Street, United Kingdom; Jane Street, USA) Publisher's Version Archive submitted (890 kB) Article: icfp24main-p58-p (type: Full Paper) doi:10.1145/3674642
	Lorenzen, Anton	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Oxidizing OCaml with Modal ..." Oxidizing OCaml with Modal Memory Management Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, and Sam Lindley (University of Edinburgh, United Kingdom; Jane Street, United Kingdom; Jane Street, USA) Publisher's Version Archive submitted (890 kB) Article: icfp24main-p58-p (type: Full Paper) doi:10.1145/3674642
	Maclaurin, Dougal	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Parallel Algebraic Effect ..." Parallel Algebraic Effect Handlers Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, and Adam Paszke (University of Toronto, Canada; Google DeepMind, Canada; Google DeepMind, USA; Google DeepMind, Germany) Publisher's Version Article: icfp24main-p84-p (type: Full Paper) doi:10.1145/3674651
	Magalhães, José Pedro	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Functional Programming in ..." Functional Programming in Financial Markets (Experience Report) Atze Dijkstra, José Pedro Magalhães, and Pierre Néron (Standard Chartered Bank, United Kingdom; Standard Chartered Bank, Singapore) Publisher's Version Article: icfp24main-p32-p (type: Full Paper) doi:10.1145/3674633
	Maillard, Kenji	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Gradual Indexed Inductive ..." Gradual Indexed Inductive Types Mara Malewski, Kenji Maillard, Nicolas Tabareau, and Éric Tanter (University of Chile, Chile; Inria, France) Publisher's Version Article: icfp24main-p68-p (type: Full Paper) doi:10.1145/3674644
	Malewski, Mara	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Gradual Indexed Inductive ..." Gradual Indexed Inductive Types Mara Malewski, Kenji Maillard, Nicolas Tabareau, and Éric Tanter (University of Chile, Chile; Inria, France) Publisher's Version Article: icfp24main-p68-p (type: Full Paper) doi:10.1145/3674644
	Melquiond, Guillaume	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Safe Low-Level Language ..." A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler Guillaume Melquiond and Josué Moreau (Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France) Publisher's Version Artifacts Reusable Article: icfp24main-p26-p (type: Full Paper) doi:10.1145/3674629
	Michelland, Sébastien	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstract Interpreters: A Monadic ..." Abstract Interpreters: A Monadic Approach to Modular Verification Sébastien Michelland, Yannick Zakowski, and Laure Gonnord (Université Grenoble-Alpes - Grenoble INP - LCIS, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Reusable Article: icfp24main-p73-p (type: Full Paper) doi:10.1145/3674646
	Moine, Alexandre	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Snapshottable Stores ..." Snapshottable Stores Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer (Inria, France; OCamlPro, France; Université Paris Cité - Inria - CNRS, France) Publisher's Version Article: icfp24main-p48-p (type: Full Paper) doi:10.1145/3674637
	Moreau, Josué	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Safe Low-Level Language ..." A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler Guillaume Melquiond and Josué Moreau (Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France) Publisher's Version Artifacts Reusable Article: icfp24main-p26-p (type: Full Paper) doi:10.1145/3674629
	Mulleners, Niek	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Example-Based Reasoning about ..." Example-Based Reasoning about the Realizability of Polymorphic Programs Niek Mulleners, Johan Jeuring, and Bastiaan Heeren (Utrecht University, Netherlands; Open Universiteit, Netherlands) Publisher's Version Artifacts Reusable Article: icfp24main-p45-p (type: Full Paper) doi:10.1145/3674636
	Müller, Marius	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Grokking the Sequent Calculus ..." Grokking the Sequent Calculus (Functional Pearl) David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Artifacts Reusable Article: icfp24main-p54-p (type: Full Paper) doi:10.1145/3674639
	Néron, Pierre	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Functional Programming in ..." Functional Programming in Financial Markets (Experience Report) Atze Dijkstra, José Pedro Magalhães, and Pierre Néron (Standard Chartered Bank, United Kingdom; Standard Chartered Bank, Singapore) Publisher's Version Article: icfp24main-p32-p (type: Full Paper) doi:10.1145/3674633
	Noor, Daniel	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Oliveira, Bruno C. d. S.	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Contextual Typing ..." Contextual Typing Xu Xue and Bruno C. d. S. Oliveira (University of Hong Kong, China) Publisher's Version Artifacts Reusable Article: icfp24main-p93-p (type: Full Paper) doi:10.1145/3674655
	Orchard, Dominic	Proc. ACM Program. Lang., vol. 8, issue ICFP: "On the Operational Theory ..." On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs Paulo Torrens, Dominic Orchard, and Cristiano Vasconcellos (University of Kent, United Kingdom; University of Cambridge, United Kingdom; Santa Catarina State University, Brazil) Publisher's Version Artifacts Functional Article: icfp24main-p28-p (type: Full Paper) doi:10.1145/3674630
	Ostermann, Klaus	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Grokking the Sequent Calculus ..." Grokking the Sequent Calculus (Functional Pearl) David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Artifacts Reusable Article: icfp24main-p54-p (type: Full Paper) doi:10.1145/3674639
	Parreaux, Lionel	Proc. ACM Program. Lang., vol. 8, issue ICFP: "The Long Way to Deforestation: ..." The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures Yijia Chen and Lionel Parreaux (Hong Kong University of Science and Technology, Hong Kong, China) Publisher's Version Artifacts Functional Article: icfp24main-p39-p (type: Full Paper) doi:10.1145/3674634
	Paszke, Adam	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Parallel Algebraic Effect ..." Parallel Algebraic Effect Handlers Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, and Adam Paszke (University of Toronto, Canada; Google DeepMind, Canada; Google DeepMind, USA; Google DeepMind, Germany) Publisher's Version Article: icfp24main-p84-p (type: Full Paper) doi:10.1145/3674651
	Pit-Claudel, Clément	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Coq Mechanization of JavaScript ..." A Coq Mechanization of JavaScript Regular Expression Semantics Noé De Santo, Aurèle Barrière, and Clément Pit-Claudel (EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: icfp24main-p109-p (type: Full Paper) doi:10.1145/3674666
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 8, issue ICFP: "CCLemma: E-Graph Guided Lemma ..." CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA; Peking University, China; Technion, Israel) Publisher's Version Artifacts Reusable Article: icfp24main-p87-p (type: Full Paper) doi:10.1145/3674653
	Protzenko, Jonathan	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Sound Borrow-Checking for ..." Sound Borrow-Checking for Rust via Symbolic Semantics Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Azure Research, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p55-p (type: Full Paper) doi:10.1145/3674640
	Quiring, Benjamin	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Deriving with Derivatives: ..." Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis Benjamin Quiring and David Van Horn (University of Maryland at College Park, USA; University of Maryland, USA) Publisher's Version Artifacts Functional Article: icfp24main-p82-p (type: Full Paper) doi:10.1145/3674650
	Sabry, Amr	Proc. ACM Program. Lang., vol. 8, issue ICFP: "How to Bake a Quantum Π ..." How to Bake a Quantum Π Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry (McMaster University, Canada; University of Edinburgh, United Kingdom; University of Southern Denmark, Denmark; Indiana University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p5-p (type: Full Paper) doi:10.1145/3674625
	Scherer, Gabriel	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Snapshottable Stores ..." Snapshottable Stores Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer (Inria, France; OCamlPro, France; Université Paris Cité - Inria - CNRS, France) Publisher's Version Article: icfp24main-p48-p (type: Full Paper) doi:10.1145/3674637
	Sekiyama, Taro	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstracting Effect Systems ..." Abstracting Effect Systems for Algebraic Effect Handlers Takuma Yoshioka, Taro Sekiyama, and Atsushi Igarashi (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan) Publisher's Version Archive submitted (740 kB) Article: icfp24main-p56-p (type: Full Paper) doi:10.1145/3674641
	Serrano, Manuel	Proc. ACM Program. Lang., vol. 8, issue ICFP: "The Functional, the Imperative, ..." The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) Manuel Serrano and Robert Bruce Findler (Inria, France; Université Côte d’Azur, France; Northwestern University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p29-p (type: Full Paper) doi:10.1145/3674631
	Sharma, Pranjal	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Song, Yahui	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Specification and Verification ..." Specification and Verification for Unrestricted Algebraic Effects and Handling Yahui Song, Darius Foo, and Wei-Ngan Chin (National University of Singapore, Singapore) Publisher's Version Artifacts Functional Article: icfp24main-p95-p (type: Full Paper) doi:10.1145/3674656
	Song, Youngju	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Refinement Composition Logic ..." Refinement Composition Logic Youngju Song and Dongjae Lee (MPI-SWS, Germany; Seoul National University, South Korea) Publisher's Version Article: icfp24main-p69-p (type: Full Paper) doi:10.1145/3674645
	Stiévenart, Quentin	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Blame-Correct Support for ..." Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Bram Vandenbogaerde, Quentin Stiévenart, and Coen De Roover (Vrije Universiteit Brussel, Belgium; Université du Québec à Montréal, Canada) Publisher's Version Artifacts Reusable Article: icfp24main-p64-p (type: Full Paper) doi:10.1145/3674643
	Tabareau, Nicolas	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Gradual Indexed Inductive ..." Gradual Indexed Inductive Types Mara Malewski, Kenji Maillard, Nicolas Tabareau, and Éric Tanter (University of Chile, Chile; Inria, France) Publisher's Version Article: icfp24main-p68-p (type: Full Paper) doi:10.1145/3674644
	Tanter, Éric	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Gradual Indexed Inductive ..." Gradual Indexed Inductive Types Mara Malewski, Kenji Maillard, Nicolas Tabareau, and Éric Tanter (University of Chile, Chile; Inria, France) Publisher's Version Article: icfp24main-p68-p (type: Full Paper) doi:10.1145/3674644
	Tassarotti, Joseph	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Almost-Sure Termination by ..." Almost-Sure Termination by Guarded Refinement Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal (New York University, USA; Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: icfp24main-p31-p (type: Full Paper) doi:10.1145/3674632 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Error Credits: Resourceful ..." Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, and Lars Birkedal (Aarhus University, Denmark; New York University, USA) Publisher's Version Artifacts Reusable Article: icfp24main-p44-p (type: Full Paper) doi:10.1145/3674635
	Torrens, Paulo	Proc. ACM Program. Lang., vol. 8, issue ICFP: "On the Operational Theory ..." On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs Paulo Torrens, Dominic Orchard, and Cristiano Vasconcellos (University of Kent, United Kingdom; University of Cambridge, United Kingdom; Santa Catarina State University, Brazil) Publisher's Version Artifacts Functional Article: icfp24main-p28-p (type: Full Paper) doi:10.1145/3674630
	Tzschentke, Marco	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Grokking the Sequent Calculus ..." Grokking the Sequent Calculus (Functional Pearl) David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Artifacts Reusable Article: icfp24main-p54-p (type: Full Paper) doi:10.1145/3674639
	Unno, Hiroshi	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Automated Verification of ..." Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System Satoshi Kura and Hiroshi Unno (Waseda University, Japan; Tohoku University, Japan) Publisher's Version Artifacts Reusable Article: icfp24main-p103-p (type: Full Paper) doi:10.1145/3674662
	Vandenbogaerde, Bram	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Blame-Correct Support for ..." Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Bram Vandenbogaerde, Quentin Stiévenart, and Coen De Roover (Vrije Universiteit Brussel, Belgium; Université du Québec à Montréal, Canada) Publisher's Version Artifacts Reusable Article: icfp24main-p64-p (type: Full Paper) doi:10.1145/3674643
	Van Horn, David	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Deriving with Derivatives: ..." Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis Benjamin Quiring and David Van Horn (University of Maryland at College Park, USA; University of Maryland, USA) Publisher's Version Artifacts Functional Article: icfp24main-p82-p (type: Full Paper) doi:10.1145/3674650
	Vasconcellos, Cristiano	Proc. ACM Program. Lang., vol. 8, issue ICFP: "On the Operational Theory ..." On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs Paulo Torrens, Dominic Orchard, and Cristiano Vasconcellos (University of Kent, United Kingdom; University of Cambridge, United Kingdom; Santa Catarina State University, Brazil) Publisher's Version Artifacts Functional Article: icfp24main-p28-p (type: Full Paper) doi:10.1145/3674630
	Weirich, Stephanie	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	White, Leo	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Oxidizing OCaml with Modal ..." Oxidizing OCaml with Modal Memory Management Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, and Sam Lindley (University of Edinburgh, United Kingdom; Jane Street, United Kingdom; Jane Street, USA) Publisher's Version Archive submitted (890 kB) Article: icfp24main-p58-p (type: Full Paper) doi:10.1145/3674642 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Staged Compilation with Module ..." Staged Compilation with Module Functors Tsung-Ju Chiang, Jeremy Yallop, Leo White, and Ningning Xie (University of Toronto, Canada; University of Cambridge, United Kingdom; Jane Street, United Kingdom) Publisher's Version Article: icfp24main-p79-p (type: Full Paper) doi:10.1145/3674649
	Winterhalter, Théo	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Dependent Ghosts Have a Reflection ..." Dependent Ghosts Have a Reflection for Free Théo Winterhalter (Inria, France) Publisher's Version Artifacts Reusable Article: icfp24main-p74-p (type: Full Paper) doi:10.1145/3674647
	Wohlfeil, Nicholas	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657
	Xia, Li-yao	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Story of Your Lazy Function’s ..." Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, and Yao Li (Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA) Publisher's Version Artifacts Functional Article: icfp24main-p9-p (type: Full Paper) doi:10.1145/3674626
	Xie, Ningning	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Staged Compilation with Module ..." Staged Compilation with Module Functors Tsung-Ju Chiang, Jeremy Yallop, Leo White, and Ningning Xie (University of Toronto, Canada; University of Cambridge, United Kingdom; Jane Street, United Kingdom) Publisher's Version Article: icfp24main-p79-p (type: Full Paper) doi:10.1145/3674649 Proc. ACM Program. Lang., vol. 8, issue ICFP: "Parallel Algebraic Effect ..." Parallel Algebraic Effect Handlers Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, and Adam Paszke (University of Toronto, Canada; Google DeepMind, Canada; Google DeepMind, USA; Google DeepMind, Germany) Publisher's Version Article: icfp24main-p84-p (type: Full Paper) doi:10.1145/3674651
	Xue, Xu	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Contextual Typing ..." Contextual Typing Xu Xue and Bruno C. d. S. Oliveira (University of Hong Kong, China) Publisher's Version Artifacts Reusable Article: icfp24main-p93-p (type: Full Paper) doi:10.1145/3674655
	Yallop, Jeremy	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Staged Compilation with Module ..." Staged Compilation with Module Functors Tsung-Ju Chiang, Jeremy Yallop, Leo White, and Ningning Xie (University of Toronto, Canada; University of Cambridge, United Kingdom; Jane Street, United Kingdom) Publisher's Version Article: icfp24main-p79-p (type: Full Paper) doi:10.1145/3674649
	Yoon, Irene	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Two-Phase Infinite/Finite ..." A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Functional Article: icfp24main-p85-p (type: Full Paper) doi:10.1145/3674652
	Yoshioka, Takuma	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstracting Effect Systems ..." Abstracting Effect Systems for Algebraic Effect Handlers Takuma Yoshioka, Taro Sekiyama, and Atsushi Igarashi (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan) Publisher's Version Archive submitted (740 kB) Article: icfp24main-p56-p (type: Full Paper) doi:10.1145/3674641
	Zakowski, Yannick	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Abstract Interpreters: A Monadic ..." Abstract Interpreters: A Monadic Approach to Modular Verification Sébastien Michelland, Yannick Zakowski, and Laure Gonnord (Université Grenoble-Alpes - Grenoble INP - LCIS, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Reusable Article: icfp24main-p73-p (type: Full Paper) doi:10.1145/3674646 Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Two-Phase Infinite/Finite ..." A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Functional Article: icfp24main-p85-p (type: Full Paper) doi:10.1145/3674652
	Zdancewic, Steve	Proc. ACM Program. Lang., vol. 8, issue ICFP: "A Two-Phase Infinite/Finite ..." A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France; Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, France) Publisher's Version Artifacts Functional Article: icfp24main-p85-p (type: Full Paper) doi:10.1145/3674652
	Zhang, Yicheng	Proc. ACM Program. Lang., vol. 8, issue ICFP: "Synchronous Programming with ..." Synchronous Programming with Refinement Types Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, and Jean-Baptiste Jeannin (University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia) Publisher's Version Artifacts Reusable Article: icfp24main-p96-p (type: Full Paper) doi:10.1145/3674657

120 authors

proc time: 0.23