State of the OCaml Platform 2023
Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.
Automatic Parallelism Management - POPL 2024
Explore techniques for automatic parallelism management in high-level languages, combining static and runtime approaches to optimize performance without manual tuning.
Productivity Verification for Functional Programs by Reduction to Termination Verification
Explore a novel method for verifying productivity in functional programs, transforming co-inductive data structures into functions and reducing productivity verification to termination verification.
Probabilistic Programming with Stochastic Probabilities
Explore a novel approach to probabilistic programming languages using stochastic probability estimation, enabling unrestricted stochastic control flow and programmable inference with custom proposals.
Proving and Disproving Equivalence of Functional Programming Assignments
Explore an automated approach for verifying programming assignments using equivalence checking, functional induction, and clustering algorithms. Learn how to prove correctness and provide counterexamples efficiently.
Operational Game Semantics for Generative Algebraic Effects and Handlers
Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus, focusing on dynamic allocation and first-class effect instances.
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
Explore a fully abstract normal form bisimulation for call-by-value PCF, combining applicative and environmental bisimulation with game semantics for program equivalence checking.
Hashing Modulo Context-Sensitive Alpha-Equivalence - PLDI 2024
Explore efficient hashing for lambda-terms with context-sensitive alpha-equivalence. Learn about improved algorithms for subterm comparison and structure sharing in mathematical knowledge graphs.
Equivalence by Canonicalization for Synthesis-Backed Refactoring
Explore a novel program synthesis framework for refactoring code to use library components, featuring a sound equivalence checking technique and applications in functional and numerical computing.
Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers
Explore a foundational theory of typed data streams and transformers, covering complex sequential patterns, parallel structure, and programming idioms like punctuation and windowing.
Apple Array Allocation - Static Memory Management for Flat, Immutable Arrays
Explore statically determined memory allocation for flat, immutable arrays in Apple array system, extending liveness analysis for JIT compilers in functional languages.
Update from the Elixir Core Dev Team - Code BEAM Europe 2022
Explore recent Elixir developments, ongoing projects, research initiatives, and upcoming features with core team member Andrea Leopardi in this insightful conference talk.
Elixir Update - Recent Developments and Future Features
Discover the latest Elixir developments, ongoing projects, research initiatives, and upcoming features in this concise update from Elixir Core team member Andrea Leopardi.
osnap - Painless and Massive Regression Test Generation for OCaml
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
How Elixir Helped Me to Love the Back End
Discover how Elixir transforms backend development, making it intuitive and approachable for JavaScript developers. Gain confidence to explore new coding territories and understand Elixir's advantages.
National Curriculum Goes Functional - Teaching Computer Science Concepts
Explore functional programming in national curriculum, focusing on teaching computer science concepts through unplugged activities, counting exercises, and innovative projects.
Functional Programming in PostgreSQL - Lambda Days 2023
Explore functional pipelines in PostgreSQL using TimescaleDB toolkit, leveraging custom types and operators for powerful data analytics directly in SQL.
Elixir Core Team Update - Recent Developments and Future Plans
Explore Elixir's latest developments, ongoing projects, research initiatives, and upcoming features with core team insights from José Valim.
Designing a Programming Language for Local Reasoning and Simple Debugging
Explore how programming language design can minimize bugs and simplify debugging. Learn about trade-offs in language design and their impact on software stability and correctness.
Examples of Easy Dependently Typed Programming in Idris
Explore practical applications of dependently typed programming in Idris, focusing on everyday software correctness without complex proofs. Suitable for those familiar with algebraic data types and FP functions.
Exploring Code Smells in Elixir
Discover code smells in Elixir, their impact on applications, and learn refactoring techniques to improve code quality and maintainability in functional programming.