Haskell Tutorial
Comprehensive Haskell tutorial covering syntax, data types, functions, and advanced concepts. Ideal for beginners and intermediate programmers seeking to master functional programming.
Haskell for Beginners
Learn Haskell fundamentals: setup, data types, functions, user input, and basic programming concepts. Build practical projects like a calculator and guessing game to reinforce your skills.
HackerRank in Haskell
Solve HackerRank problems using Haskell, covering topics from basic algorithms to advanced functional programming concepts like monads and brute-force techniques.
Haskell for Imperative Programmers
Learn functional programming with Haskell, covering basics to advanced topics like monads, concurrency, and formal verification. Ideal for developers transitioning from imperative languages.
Talking TUF: Securing Software Distribution
Explore The Update Framework (TUF) for securing software update systems. Learn how to integrate this flexible security framework to protect against vulnerabilities and enhance software distribution safety.
Towards Higher-level Abstractions for Molecular Programming
Explore higher-level abstractions for molecular programming using chemical reaction networks, inspired by functional reactive programming. Build modular CRN programs with a Haskell library.
Uncovering the Unknown - Principles of Type Inference in Programming Languages
Explore type inference in programming languages, uncovering quirks and power in C#, Scala, and Haskell. Delve into local and global inference, constraint typing, and structural typing.
Programming Languages for High-Assurance Vehicles
Explore secure programming for high-assurance vehicles using embedded domain-specific languages in Haskell, focusing on autopilot development, verification tools, and real-world applications.
.NET Core Beginner Tutorial - Making a Blog: Meta Tags - Episode 13
Implement SEO-friendly meta tags for websites and posts, covering title, keywords, and description. Learn about Open Graph tags and functional programming basics.
Vehicle - A Specification Language for Neural Network Properties
Explore Vehicle, a functional DSL for specifying neural network properties. Learn to express, compile, and verify specifications across platforms, enhancing safety in ML-enhanced systems.
A Software Architecture Based on Coarse-Grained Self-Adjusting Computations
Explore coarse-grained self-adjusting computations in Haskell for efficient data updates. Learn from a commercial system's architecture, API, and real-world application.
Crème de la Crem - Composable Representable Executable Machines
Explore building modular software architectures using state machines, combining Domain-Driven Design principles with Haskell's advanced type-level features for robust system composition.
Designing Functional Programs: From Imperative to Functional Paradigm
Learn functional programming principles and design techniques to build practical applications with immutability and higher-order functions, shifting from imperative and object-oriented paradigms.
From Rails to Elm and Haskell - Transitioning to a Purely Functional Stack
Explore the journey from Ruby on Rails to Elm and Haskell at NoRedInk, discussing adoption strategies, challenges, and benefits of transitioning to functional programming languages.
Introduction to Recursion Schemes - YOW! 2018
Explore recursion schemes in functional programming with Amy Wong. Learn key concepts, applications, and benefits for writing more elegant and maintainable code.
An Intuitive Guide to Combining Free Monad and Free Applicative - YOW! 2018
Explore combining Free Monads and Free Applicatives in functional programming. Learn motivations, building complex domains, introducing parallelism, and practical design tips for powerful program structures.
What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming
Explore the purpose and benefits of types in programming, examining their role beyond just preventing errors, with insights into functional programming concepts and type theory.
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.
Effect Handlers for Choice-Based Learning in Machine Learning Programming
Explore a novel choice-based learning paradigm combining algebraic effects, handlers, and loss continuations to enhance modularity in machine learning 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.
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.