[Scheme24] Challenges in the Design and Implementation of Teaching Languages for EDSLs

[Scheme24] Tutorial on Program Transformations

[Scheme24] Nocksche and Nocko

[Scheme24] Beyond SICP - Design and Implementation of a Notional Machine for Scheme

[Scheme24] A Teaching Language for Specification

[Scheme24] An Implementation of a Visual Stepper in the GRASP Programming System

[Scheme24] Scheme on WebAssembly: It is happening!

[FProPer24] HVM2: Iteraction Combinator Evaluator

[FProPer24] Functional Sparse Tensor Compilation

[FProPer24] Fusing Gathers with Integer Linear Programming

[FProPer24] A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array(…)

[FProPer24] Ribbit with Memory Morphisms

[FProPer24] Tail Modulo Async/Await

[FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…)

[Erlang24] Controlled Scheduling of Concurrent Elixir Programs

[Erlang24] The Benefits of Tierless Elixir/Potato for Engineering IoT Systems

[Erlang24] Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception(…)

[Erlang24] Is this really a refactoring? Automated equivalence checking for Erlang projects

[Erlang24] Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors

[Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations

[Erlang24] Same same but different: A Comparative Analysis of Static Type Checkers in Erlang

[Erlang24] Unsafe Impedance: safe languages and safe by design software

[miniKanren24] To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision

[miniKanren24] Six Ways to Implement Divisibility by Three in miniKanren

[miniKanren24] Improving stableKanren’s Backward Compatibility

[miniKanren24] typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…)

[miniKanren24] Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility

[miniKanren24] A Relational Solver for Constraint-based Type Inference

[miniKanren24] Between Functional and Relational

[miniKanren24] Relational Reactive Programming: miniKanren for the Web

[miniKanren24] High-Performance Logic Programming on Servers, Clusters, and GPUs

[FARM24] A Progressive-Adaptive Music Generator (PAMG): An Approach to Interactive Procedural(…)

[FARM24] Demo: Functional Sound Design

[FARM24] Diffusion-Based Sound Synthesis in Music Production

[FARM24] Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell

[FARM24] The Maquette Monad

[FARM24] Demo: Composable Compositions in Tonart

[FARM24] From Konnakol to Live Coding

[FARM24] Trane: Musical Janet on the Web

[FARM24] Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in Hydra

[FARM24] Bridging art and mathematics with Tessella: a Scala functional library for regular(…)

[FARM24] Using Functional Reactive Programming for Robotic Art

[ICFP24] ICFP Contest Results

[ICFP24] Functional Programming in Financial Markets (Experience Report)

[ICFP24] Alice or Bob?: Process polymorphism in choreographies

[ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics

[ICFP24] Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts

[ICFP24] The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along(…)

[ICFP24] Sound Borrow-Checking for Rust via Symbolic Semantics

[ICFP24] Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

[ICFP24] Double-Ended Bit-Stealing for Algebraic Data Types

[ICFP24] A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts,(…)

[ICFP24] Oxidizing OCaml with Modal Memory Management

[ICFP24] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement(…)

[ICFP24] Synchronous Programming with Refinement Types

[ICFP24] Contextual Typing

[ICFP24] The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing(…)

[ICFP24] Refinement Types from Light to Deep Verification

[ICFP24] Remembering Alan Jeffrey

[ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation