MacoCaml - Staging Composable and Compilable Macros
Explore MacoCaml, a novel approach to compile-time code generation in OCaml, combining macros with phase separation and quotation-based staging. Learn about its theoretical foundation and implementation.
Trustworthy Runtime Verification via Bisimulation - Experience Report
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.
LURK: Lambda, the Ultimate Recursive Knowledge - A LISP-Based Language for zk-SNARKs
Explore Lurk, a LISP-based language for zk-SNARKs, enabling Turing-complete zero-knowledge proofs. Learn about its design, theory, and innovative content addressing approach for efficient programming.
Dependently-Typed Programming with Logical Equality Reflection
Explore System DE, a calculus for dependently-typed programming with equality reflection. Learn about termination tracking, inductive proofs, and performance-safety trade-offs in functional languages.
Student Research Contest Talks - ICFP 2023
Explore cutting-edge research in functional programming through student presentations at ICFP'23, featuring innovative ideas and emerging talent in the field.
More Fixpoints - Solving Recursive Problems in Haskell
Explore innovative solutions for recursive Haskell programming, overcoming limitations and enabling elegant, productive code using pure data structures with enhanced fixpoint capabilities.
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Explore a novel approach for specifying data layouts of rich data types, enabling better control over memory representation while maintaining high-level abstractions in programming languages.
Haskell for Choice-Based Learning in Machine Learning Programming
Explore language design for machine learning, focusing on choice-based learning. Combine algebraic effects, handlers, and selection monad to create powerful frameworks for decision-making models and optimization techniques.
Lightning Talks on Haskell Programming - Session II
Explore diverse Haskell topics through rapid-fire presentations, gaining insights into cutting-edge developments and innovative applications in functional programming.
Lightning Talks on Haskell Programming - Session I
Explore diverse Haskell topics through rapid-fire presentations at the Haskell Symposium, covering cutting-edge research and innovative applications in functional programming.
Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
Resource Polymorphism: Integrating First-Class Resources into ML
Explore resource polymorphism in ML, integrating destructors and resource types for enhanced memory management and functional programming in systems and parallel contexts.
Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture
Explore how immutable arrays enable compiler optimizations for efficient implementations, challenging intuitions about low-level control in array computations.
The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser
Explore the design and implementation of Salto, a static analyzer for OCaml programs using abstract interpretation to detect exceptions and undefined behaviors.
Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Explore Domain-Driven Design principles for enhancing Glasgow Haskell Compiler's architecture, addressing immutability, modularity, and composability in large-scale functional systems.
Typed Design Patterns for the Functional Era - FUNARCH'23
Explore functional design patterns in modern programming, focusing on architectural concepts and their implementation in Rust's type system.
The Rational Programmer: An Investigative Method for Programming Language Pragmatics
Explore the Rational Programmer method for evaluating programming language pragmatics through simulations, enhancing developer productivity and informing language design and teaching strategies.
The Calysto Scheme Project - Integrating Scheme with Python
Explore Calysto Scheme: a Scheme-to-Python project with call/cc support, syntactic extensions, and Python interoperability. Learn its applications in education and beyond.
klogic: miniKanren in Kotlin - miniKanren'23 Conference
Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.
A Type System for Elixir
Explore progress in adding static and gradual typing to Elixir, including set-theoretic types, bug detection, and mixing typed/untyped code. Learn about potential benefits and future challenges.
Artificial Languages are Dead. Long Live Artificial Languages - SLE23
Explore the impact of Large Language Models on programming, artificial languages, and CS education in this thought-provoking talk by Crista Lopes.