Haskell Courses
ACM SIGPLAN via YouTube Asynchronous Reactive Programming with Modal Types in Haskell
ACM SIGPLAN via YouTube The Potential of Information-Flow Control Research for Helping GDPR Compliance
ACM SIGPLAN via YouTube The Evolution of Effects in Functional Programming - From Monads to Higher-Order Effects
ACM SIGPLAN via YouTube Solving Constraints During Type Inference - WITS'24
ACM SIGPLAN via YouTube Type Inference for Application Spines in Higher-Order Languages - WITS'24
ACM SIGPLAN via YouTube Vehicle - A Specification Language for Neural Network Properties
ACM SIGPLAN via YouTube A Software Architecture Based on Coarse-Grained Self-Adjusting Computations
ACM SIGPLAN via YouTube Crème de la Crem - Composable Representable Executable Machines
ACM SIGPLAN via YouTube Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
ACM SIGPLAN via YouTube