algebraic-subtyping-for-algebraic-effects-and-handlers
by TheAxeC
My Master thesis for the Master of Science in Engineering: Computer Science (2016-2018) at KU Leuven [Finished]
AI summary
Type system
A type system extension to handle algebraic effects and handlers
- stars
- 0
- forks
- 0
- watching
- 0
Similar projects
Found by comparing what the projects do, not just their names.
Effect handler
An effect system designed to handle intensional information in code, such as side effects, by encoding it into types.
Type system compiler
A programming language system that enables advanced type manipulation and template generation
XAML viewer
Tools for displaying XAML content in Avalonia applications
FX handler
A library that helps separate business logic and side effects in Redux applications using declarative data structures
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
Effect system library
A Haskell library for building effectful applications with a focus on type-level effects and composability
Effect system
An extensible effect system for Haskell that allows flexible handling of effects at the type level.
Type generator
A tool to automatically generate Elm types and functions from Haskell definitions
Accessibility tester
Tools for running automated accessibility tests in web applications
Effect system
A fast and flexible effect system for Haskell that enables expressive and efficient programming
atx/wtype389
Keyboard simulator
A command-line utility for simulating wayland keyboard events and typing characters in a compositor-independent manner
Effect language
Language with lightweight effect handling and polymorphism
Expression parser
A math expression parser and evaluator with support for variables and functions in multiple programming languages.
Expression generator
A tool for generating Haskell expressions from types
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
