Structural Rules and Algebraic Properties of Intersection Types
Explore structural rules and algebraic properties of intersection types in lambda calculus, examining their impact on type assignment systems and programming language theory.
Lean4Lean - Formalizing the Type Theory of Lean
Explore the formalization of Lean's type theory with Mario Carneiro, delving into advanced concepts and techniques for theorem proving and mathematical reasoning.
Formalization of Nominal Equational Reasoning in PVS - Nominal Unification
Explore nominal equational reasoning and unification in PVS, focusing on formalizing techniques for handling bound variables in logical systems and programming languages.
Functional Programming on .NET - The Best of Both Worlds
Explore functional programming in .NET with F# and C#. Learn key FP practices, their benefits, and how they enhance code simplicity and robustness across both languages.
Synthesis of Privacy-Preserving Systems
Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.
Functional Error Handling in Python - Strategies for Composable Functions
Explore functional error handling in Python, moving beyond exceptions to improve function composability and code reliability. Learn strategies and tools for better error management.
Shipping a Production Web App in Elm - YOW! 2015
Discover how rewriting a CoffeeScript web app in Elm led to faster, more robust, and easier-to-maintain code. Learn about Elm's benefits and how to transition to functional reactive programming.
Reactive Programming with Diff and Patch
Explore reactive programming techniques using diff and patch, focusing on efficient data updates and functional programming concepts for building responsive systems.
Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024
Explore functional programming with Haskell to create robust, maintainable software. Learn key concepts like referential transparency and purity to enhance code reliability and correctness.
YAML and YAMLScript: From Data Serialization to Functional Programming
Explore YAML's complexities and discover YAMLScript, a powerful new loader addressing common YAML issues while offering advanced programming capabilities and improved consistency across languages.
F# for C# Developers - Bridging Languages Through .NET Runtime
Explore F# through C# decompilation, bridging functional and object-oriented paradigms. Gain insights to write cleaner, more expressive code in both languages, leveraging .NET's full potential.
What's Next in C# - Future Developments and Innovations
Explore C#'s evolution, current state, and future direction with Mads Torgersen. Gain insights into upcoming features and their role in shaping the language's trajectory.
Frege - Purely Functional Programming for the JVM
Explore Frege, a purely functional Haskell-like language for the JVM. Learn its unique features and how it interoperates with Java in this insightful presentation by Dierk König.
Declarative Thinking, Declarative Practice
Explore declarative programming approaches, contrasting with imperative styles. Learn techniques applicable to requirements, code, and tests in various languages for more expressive and composable software design.
The Zen of Programming
Explore the art of beautiful coding with insights from a 40-year veteran. Discover principles, paradigms, and practices for elegant problem-solving in software development.
Functional Programming with C#
Explore functional programming in C# using familiar features like LINQ and delegates. Learn to write more robust, readable, and maintainable code while enabling concurrency and serverless applications.
The Power of Composition
Explore functional programming's composition principle, from basic concepts to practical applications in building web applications without objects.
Mixing Paradigms Using the Latest C# Language Features
Explore advanced C# features like records, tuples, and LINQ, integrating functional and object-oriented paradigms to solve practical problems effectively.
Functional Programming with C#
Explore functional programming concepts in C# to write more robust, readable, and maintainable code. Learn how to leverage familiar features for improved scalability and concurrency.
Fractal Architecture
Explore fractal architecture principles to write more readable and maintainable code, focusing on encapsulation, thresholds, and referential transparency for improved productivity.
Repeatable Execution
Explore a formal method for optimizing application logging, distinguishing between pure and impure code to make informed decisions on what to log for effective troubleshooting in production environments.