ICFP 2023 – Author Index

A B C D E F G H J K L M N P R S T V W X Y

	Abel, Andreas	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..." A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p215-p doi:10.1145/3607862
	Amin, Nada	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Attard, Duncan Paul	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..." Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder (University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p11-p doi:10.1145/3607832
	Augustsson, Lennart	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Bahr, Patrick	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Asynchronous Modal FRP ..." Asynchronous Modal FRP Patrick Bahr and Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Publisher's Version Article: icfp23main-p51-p doi:10.1145/3607847 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Calculating Compilers for ..." Calculating Compilers for Concurrency Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p104-p doi:10.1145/3607855
	Baudon, Thaïs	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..." Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types Thaïs Baudon, Gabriel Radanne, and Laure Gonnord (University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p134-p doi:10.1145/3607858
	Biernacki, Dariusz	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..." A General Fine-Grained Reduction Theory for Effect Handlers Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki (Heriot-Watt University, UK; University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp23main-p53-p doi:10.1145/3607848
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..." Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal (Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p142-p doi:10.1145/3607859
	Bourgeat, Thomas	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Brachthäuser, Jonathan Immanuel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..." With or Without You: Programming with Effect Exclusion Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser (Aarhus University, Denmark; University of Tübingen, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p48-p doi:10.1145/3607846
	Breitner, Joachim	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845 Proc. ACM Program. Lang., vol. 7, issue ICFP: "More Fixpoints! (Functional ..." More Fixpoints! (Functional Pearl) Joachim Breitner (Unaffiliated, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p80-p doi:10.1145/3607853
	Burnham, John	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Castagna, Giuseppe	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Typing Records, Maps, and ..." Typing Records, Maps, and Structs Giuseppe Castagna (CNRS, France; Université Paris Cité, France) Publisher's Version Article: icfp23main-p23-p doi:10.1145/3607838
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Claessen, Koen	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Clester, Ian	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Danielsson, Nils Anders	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..." A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p215-p doi:10.1145/3607862
	Dimoulas, Christos	Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..." How to Evaluate Blame for Gradual Types, Part 2 Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northwestern University, USA; Brown University, USA; Northeastern University, USA) Publisher's Version Article: icfp23main-p18-p doi:10.1145/3607836
	Dockins, Robert	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..." Trustworthy Runtime Verification via Bisimulation (Experience Report) Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins (Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p29-p doi:10.1145/3607841
	Dodds, Mike	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..." Trustworthy Runtime Verification via Bisimulation (Experience Report) Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins (Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p29-p doi:10.1145/3607841
	Elliott, Conal	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Timely Computation ..." Timely Computation Conal Elliott (Independent, USA) Publisher's Version Article: icfp23main-p186-p doi:10.1145/3607861
	Erbsen, Andres	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Erdweg, Sebastian	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..." Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Sven Keidel, Sebastian Erdweg, and Tobias Hombücher (TU Darmstadt, Germany; JGU Mainz, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p279-p doi:10.1145/3607863
	Eriksson, Oskar	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..." A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p215-p doi:10.1145/3607862
	Felleisen, Matthias	Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..." How to Evaluate Blame for Gradual Types, Part 2 Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northwestern University, USA; Brown University, USA; Northeastern University, USA) Publisher's Version Article: icfp23main-p18-p doi:10.1145/3607836
	Fisler, Kathi	Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..." What Happens When Students Switch (Functional) Languages (Experience Report) Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu (Brown University, USA; University of Botswana, Botswana) Publisher's Version Archive submitted (2.7 MB) Article: icfp23main-p129-p doi:10.1145/3607857
	Fowler, Simon	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..." Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder (University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p11-p doi:10.1145/3607832
	Frohlich, Samantha	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..." Embedding by Unembedding Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu (Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p6-p doi:10.1145/3607830 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..." Reflecting on Random Generation Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce (University of Pennsylvania, USA; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p38-p doi:10.1145/3607842
	Fromherz, Aymeric	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..." Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p44-p doi:10.1145/3607844
	Garillot, François	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Gay, Simon J.	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..." Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder (University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p11-p doi:10.1145/3607832
	Gennaro, Rosario	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Ghaffari, Mohsen	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..." Formal Specification and Testing for Reinforcement Learning Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski (IT University of Copenhagen, Denmark; University of Oslo, Norway) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p17-p doi:10.1145/3607835
	Ghalayini, Jad Elkhaleq	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Explicit Refinement Types ..." Explicit Refinement Types Jad Elkhaleq Ghalayini and Neel Krishnaswami (University of Cambridge, UK) Publisher's Version Article: icfp23main-p19-p doi:10.1145/3607837
	Goldstein, Harrison	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..." Reflecting on Random Generation Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce (University of Pennsylvania, USA; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p38-p doi:10.1145/3607842 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..." Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos (University of Pennsylvania, USA; University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p161-p doi:10.1145/3607860
	Gondelman, Léon	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..." Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal (Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p142-p doi:10.1145/3607859
	Gonnord, Laure	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..." Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types Thaïs Baudon, Gabriel Radanne, and Laure Gonnord (University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p134-p doi:10.1145/3607858
	Goodloe, Alwyn E.	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..." Trustworthy Runtime Verification via Bisimulation (Experience Report) Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins (Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p29-p doi:10.1145/3607841
	Greenman, Ben	Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..." How to Evaluate Blame for Gradual Types, Part 2 Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northwestern University, USA; Brown University, USA; Northeastern University, USA) Publisher's Version Article: icfp23main-p18-p doi:10.1145/3607836
	Gruetter, Samuel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Hinrichsen, Jonas Kastberg	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..." Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p122-p doi:10.1145/3607856 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..." Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal (Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p142-p doi:10.1145/3607859
	Ho, Son	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..." Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p44-p doi:10.1145/3607844
	Hombücher, Tobias	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..." Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Sven Keidel, Sebastian Erdweg, and Tobias Hombücher (TU Darmstadt, Germany; JGU Mainz, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p279-p doi:10.1145/3607863
	Hubers, Alex	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Generic Programming with Extensible ..." Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc Alex Hubers and J. Garrett Morris (University of Iowa, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p40-p doi:10.1145/3607843
	Hutton, Graham	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Calculating Compilers for ..." Calculating Compilers for Concurrency Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p104-p doi:10.1145/3607855
	Jacobs, Jules	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..." Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p122-p doi:10.1145/3607856
	Jhala, Ranjit	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Johnsen, Einar Broch	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..." Formal Specification and Testing for Reinforcement Learning Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski (IT University of Copenhagen, Denmark; University of Oslo, Norway) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p17-p doi:10.1145/3607835
	Kashiwa, Shun	Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..." HasChor: Functional Choreographic Programming for All (Functional Pearl) Gan Shen, Shun Kashiwa, and Lindsey Kuper (University of California at Santa Cruz, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p55-p doi:10.1145/3607849
	Katsura, Hiroyuki	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..." Higher-Order Property-Directed Reachability Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato (University of Tokyo, Japan) Publisher's Version Article: icfp23main-p8-p doi:10.1145/3607831
	Keidel, Sven	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..." Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Sven Keidel, Sebastian Erdweg, and Tobias Hombücher (TU Darmstadt, Germany; JGU Mainz, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p279-p doi:10.1145/3607863
	Keles, Alperen	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..." Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos (University of Pennsylvania, USA; University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p161-p doi:10.1145/3607860
	Kobayashi, Naoki	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..." Higher-Order Property-Directed Reachability Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato (University of Tokyo, Japan) Publisher's Version Article: icfp23main-p8-p doi:10.1145/3607831
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..." Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p122-p doi:10.1145/3607856
	Krishnamurthi, Shriram	Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..." What Happens When Students Switch (Functional) Languages (Experience Report) Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu (Brown University, USA; University of Botswana, Botswana) Publisher's Version Archive submitted (2.7 MB) Article: icfp23main-p129-p doi:10.1145/3607857
	Krishnaswami, Neel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Explicit Refinement Types ..." Explicit Refinement Types Jad Elkhaleq Ghalayini and Neel Krishnaswami (University of Cambridge, UK) Publisher's Version Article: icfp23main-p19-p doi:10.1145/3607837
	Künzang, Chhi’mèd	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Kuper, Lindsey	Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..." HasChor: Functional Choreographic Programming for All (Functional Pearl) Gan Shen, Shun Kashiwa, and Lindsey Kuper (University of California at Santa Cruz, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p55-p doi:10.1145/3607849
	Lampropoulos, Leonidas	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..." Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos (University of Pennsylvania, USA; University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p161-p doi:10.1145/3607860
	Lazarek, Lukas	Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..." How to Evaluate Blame for Gradual Types, Part 2 Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northwestern University, USA; Brown University, USA; Northeastern University, USA) Publisher's Version Article: icfp23main-p18-p doi:10.1145/3607836
	Leijen, Daan	Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..." FP²: Fully in-Place Functional Programming Anton Lorenzen, Daan Leijen, and Wouter Swierstra (University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p27-p doi:10.1145/3607840
	Liu, Yiyun	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependently-Typed Programming ..." Dependently-Typed Programming with Logical Equality Reflection Yiyun Liu and Stephanie Weirich (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p74-p doi:10.1145/3607852
	Lorenzen, Anton	Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..." FP²: Fully in-Place Functional Programming Anton Lorenzen, Daan Leijen, and Wouter Swierstra (University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p27-p doi:10.1145/3607840
	Lu, Kuang-Chen	Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..." What Happens When Students Switch (Functional) Languages (Experience Report) Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu (Brown University, USA; University of Botswana, Botswana) Publisher's Version Archive submitted (2.7 MB) Article: icfp23main-p129-p doi:10.1145/3607857
	Lutze, Matthew	Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..." With or Without You: Programming with Effect Exclusion Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser (Aarhus University, Denmark; University of Tübingen, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p48-p doi:10.1145/3607846
	Madsen, Magnus	Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..." With or Without You: Programming with Effect Exclusion Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser (Aarhus University, Denmark; University of Tübingen, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p48-p doi:10.1145/3607846
	Matsuda, Kazutaka	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..." Embedding by Unembedding Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu (Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p6-p doi:10.1145/3607830
	Møgelberg, Rasmus Ejlers	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Asynchronous Modal FRP ..." Asynchronous Modal FRP Patrick Bahr and Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Publisher's Version Article: icfp23main-p51-p doi:10.1145/3607847
	Morris, J. Garrett	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Generic Programming with Extensible ..." Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc Alex Hubers and J. Garrett Morris (University of Iowa, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p40-p doi:10.1145/3607843
	Nicole, Olivier	Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..." MacoCaml: Staging Composable and Compilable Macros Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop (University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p72-p doi:10.1145/3607851
	Pereira, Mário	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..." Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal (Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p142-p doi:10.1145/3607859
	Perez, Ivan	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..." Trustworthy Runtime Verification via Bisimulation (Experience Report) Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins (Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p29-p doi:10.1145/3607841
	Peyton Jones, Simon	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..." Reflecting on Random Generation Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce (University of Pennsylvania, USA; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p38-p doi:10.1145/3607842 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..." Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos (University of Pennsylvania, USA; University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p161-p doi:10.1145/3607860
	Protzenko, Jonathan	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..." Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Son Ho, Aymeric Fromherz, and Jonathan Protzenko (Inria, France; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p44-p doi:10.1145/3607844
	Pyzik, Mateusz	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..." A General Fine-Grained Reduction Theory for Effect Handlers Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki (Heriot-Watt University, UK; University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp23main-p53-p doi:10.1145/3607848
	Radanne, Gabriel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..." Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types Thaïs Baudon, Gabriel Radanne, and Laure Gonnord (University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p134-p doi:10.1145/3607858
	Rogozin, Daniel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Sato, Ryosuke	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..." Higher-Order Property-Directed Reachability Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato (University of Tokyo, Japan) Publisher's Version Article: icfp23main-p8-p doi:10.1145/3607831
	Schuster, Philipp	Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..." With or Without You: Programming with Effect Exclusion Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser (Aarhus University, Denmark; University of Tübingen, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p48-p doi:10.1145/3607846
	Scott, Ryan G.	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..." Trustworthy Runtime Verification via Bisimulation (Experience Report) Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins (Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p29-p doi:10.1145/3607841
	Shen, Gan	Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..." HasChor: Functional Choreographic Programming for All (Functional Pearl) Gan Shen, Shun Kashiwa, and Lindsey Kuper (University of California at Santa Cruz, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p55-p doi:10.1145/3607849
	Shi, Jessica	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..." Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos (University of Pennsylvania, USA; University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p161-p doi:10.1145/3607860
	Shivers, Olin	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Sieczkowski, Filip	Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..." A General Fine-Grained Reduction Theory for Effect Handlers Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki (Heriot-Watt University, UK; University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp23main-p53-p doi:10.1145/3607848
	Singh, Pratap	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Sowul, Franciszek	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..." Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder (University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p11-p doi:10.1145/3607832
	Steele Jr., Guy L.	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Sweeney, Tim	Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..." The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney (Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA) Publisher's Version Article: icfp23main-p46-p doi:10.1145/3607845
	Swierstra, Wouter	Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..." FP²: Fully in-Place Functional Programming Anton Lorenzen, Daan Leijen, and Wouter Swierstra (University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p27-p doi:10.1145/3607840
	Thiemann, Peter	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Intrinsically Typed Sessions ..." Intrinsically Typed Sessions with Callbacks (Functional Pearl) Peter Thiemann (University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p93-p doi:10.1145/3607854
	Timany, Amin	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..." Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal (Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p142-p doi:10.1145/3607859
	Trinder, Phil	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..." Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder (University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p11-p doi:10.1145/3607832
	Tshukudu, Ethel	Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..." What Happens When Students Switch (Functional) Languages (Experience Report) Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu (Brown University, USA; University of Botswana, Botswana) Publisher's Version Archive submitted (2.7 MB) Article: icfp23main-p129-p doi:10.1145/3607857
	Varshosaz, Mahsa	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..." Formal Specification and Testing for Reinforcement Learning Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski (IT University of Copenhagen, Denmark; University of Oslo, Norway) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p17-p doi:10.1145/3607835
	Wang, Meng	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..." Embedding by Unembedding Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu (Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p6-p doi:10.1145/3607830 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..." Reflecting on Random Generation Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce (University of Pennsylvania, USA; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p38-p doi:10.1145/3607842
	Wąsowski, Andrzej	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..." Formal Specification and Testing for Reinforcement Learning Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski (IT University of Copenhagen, Denmark; University of Oslo, Norway) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p17-p doi:10.1145/3607835
	Weirich, Stephanie	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependently-Typed Programming ..." Dependently-Typed Programming with Logical Equality Reflection Yiyun Liu and Stephanie Weirich (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p74-p doi:10.1145/3607852
	White, Leo	Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..." MacoCaml: Staging Composable and Compilable Macros Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop (University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p72-p doi:10.1145/3607851
	Wong, Cameron	Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..." LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong (Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK) Publisher's Version Article: icfp23main-p25-p doi:10.1145/3607839
	Wright, Andy	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..." Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala (Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p14-p doi:10.1145/3607833
	Wu, Nicolas	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..." Embedding by Unembedding Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu (Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p6-p doi:10.1145/3607830 Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modular Models of Monoids ..." Modular Models of Monoids with Operations Zhixuan Yang and Nicolas Wu (Imperial College London, UK) Publisher's Version Article: icfp23main-p69-p doi:10.1145/3607850
	Xie, Ningning	Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..." MacoCaml: Staging Composable and Compilable Macros Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop (University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p72-p doi:10.1145/3607851
	Yallop, Jeremy	Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..." MacoCaml: Staging Composable and Compilable Macros Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop (University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp23main-p72-p doi:10.1145/3607851
	Yang, Zhixuan	Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modular Models of Monoids ..." Modular Models of Monoids with Operations Zhixuan Yang and Nicolas Wu (Imperial College London, UK) Publisher's Version Article: icfp23main-p69-p doi:10.1145/3607850

113 authors

proc time: 0.16