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.
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.
Is Wasm Becoming Garbage? - WebAssembly and Garbage Collection
Explore WebAssembly's new garbage collection feature, its design rationale, and implications for compilers targeting object-oriented and functional languages.
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples
Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.
Trustworthy Formal Natural Language Specifications
Explore a novel approach to translating natural language specifications into formal claims within proof assistants, enhancing software verification and bridging the gap between informal and formal specifications.
CellPond: Spatial Programming Without Escape
Explore spatial programming with CellPond, a novel approach that eliminates escape hatches and maximizes visual, interactive benefits.
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30
Explore fundamental principles of type systems, comparing session types with traditional types in logic, mathematics, and computer science.
Is Polyglot Programming Really a Thing?
Explore the concept of polyglot programming, its prevalence, benefits, and challenges. Examine integration issues and software engineering implications for multi-language development.
Asynchronous and Synchronous Mixed Sessions in Session Types - Lecture 30
Explore the expressive power of mixed session types in distributed processes, examining their impact on type safety and communication in asynchronous and synchronous contexts.
What We Learned from Writing a Book About Session Types
Explore insights gained while writing a book on session types, including coinductive definitions, linear vs. sharable types, subtyping, and propositions-as-types approach.
Complete Multiparty Session Type Projection with Automata - ST30
Explore efficient multiparty session type projection using automata. Learn sound, complete, and efficient techniques for verifying asynchronous communication protocols.
How I Learned to Stop Worrying and Love Dynamic Languages
Explore insights on dynamic languages from a seasoned researcher's perspective, covering successful strategies in research, advising, and project leadership.
Programming Languages for AI Programming Agents
Explore the future of programming languages in AI-driven development, examining key features, tools, and workflows needed for effective human-AI collaboration in software creation.
Keeping the asm in Wasm - Running High-Level Languages on a Low-Level VM
Explore WebAssembly's design for running high-level languages on a low-level VM, addressing challenges and performance optimizations for dynamic languages.
Formal Verification of a Mechanical Ventilator Using UPPAAL
Explore formal verification of mechanical ventilators using UPPAAL, enhancing system reliability and correctness through advanced modeling techniques.
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Explore Witter, a library for white-box testing in programming education. Analyze method execution against reference solutions to verify algorithm behavior and provide insightful feedback.
Can Local-First Really Scale at the Edge?
Explore local-first software's impact on edge computing, examining challenges and solutions for metadata scaling in counters and causal CRDTs.