The Expression Problem and Lenses - Functional Programming Concepts
Explore functional programming concepts like the Expression Problem and Lenses with Tony Morris. Learn advanced techniques to enhance code flexibility and maintainability.
The Miracle of Generators - Exploring ECMAScript 2015 Iterators and Coroutines
Explore ECMAScript 2015 generators: from simple iterators to powerful coroutines. Learn how they simplify asynchronous programming and uncover a fundamental computer science concept.
Avoiding Rigor Mortis in Software Development - Pragmatic Approaches
Explore strategies to avoid software rigidity with Pragmatic Dave Thomas. Learn functional programming, concurrency, and pattern matching techniques to keep your code flexible and maintainable.
Parallelism in a Region Inference Context
Explore region inference implementation for fork-join parallelism in higher-order functional programming, including type rules, semantics, and efficient multi-core utilization.
Exploring Algebraic Placement in Multiparty Languages - CP 2024
Explore the relationship between type systems and placement systems in distributed programming languages, focusing on modular reasoning and algebraic placement structures.
Scaling Decision-Theoretic Probabilistic Programming Through Factorization
Explore dappl, a new probabilistic programming language for decision-making, offering scalable MEU reasoning and expressive modeling of complex real-world tasks.
Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types
Explore coverage types and their connection to Incorrectness Logic, integrating underapproximate reasoning within refinement type systems for enhanced program analysis and verification.
Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus
Explore the isomorphism between Taylor expansion of λ-terms and pointer concurrent games interpretation, extending previous results on resource terms and game semantics.
Trace-Guided Inductive Synthesis of Recursive Functional Programs
Explore a novel trace-guided approach for synthesizing recursive functional programs from input-output examples, addressing ambiguity and generalization challenges in program synthesis.
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
Explore space-efficient implementation of gradual typing with mostly parametric polymorphism. Learn about λCmp and λSmp calculi, their properties, and the implications for type-preserving translations.
A Verified Compiler for a Functional Tensor Language - PLDI 2024
Explore a verified compiler for functional tensor language, focusing on efficient array code production and formal correctness proof for high-performance domains like image processing and machine learning.
One-Pass CPS Translation of Dependent Types
Explore type-preserving CPS translation for dependently typed languages, focusing on optimizing techniques to eliminate administrative redexes in the Calculus of Constructions.
Decalf: A Directed, Effectful Cost-Aware Logical Framework
Explore Decalf, a logical framework for analyzing quantitative aspects of effectful functional programs, focusing on cost-aware type theory and its applications to algorithm analysis.
Focusing on Refinement Typing - A Logically Principled Foundation
Explore a logically principled foundation for SMT constraint generation in refinement type systems, combining focalized call-by-push-value, bidirectional typing, and value-determined indexes.
Higher Order Bayesian Networks, Exactly - POPL 2024
Explore a higher-order programming language for Bayesian networks, combining advanced techniques from linear logic, intersection types, and rewriting theory for efficient probabilistic modeling and inference.
Efficient CHAD - Optimizing Combinatory Homomorphic Automatic Differentiation
Optimizar el algoritmo CHAD para diferenciación automática en modo reverso, logrando la complejidad computacional esperada mediante técnicas funcionales y paralelismo.
Fear Not the Unknown: Go Functional Programming
Explore functional programming concepts and overcome fears of the unknown in this engaging talk on modern coding paradigms.
From Objects to Functions - Rethinking OOP Principles
Explore the journey from OOP to functional programming, challenging traditional coding principles for more modular and maintainable solutions.
Localizing Invariants of Large Categories: General Theory
Delve into advanced algebraic K-theory concepts, exploring dualizable stable categories, continuous K-theory applications, and their relationship with sheaf categories on Hausdorff spaces.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.