algebraic-subtyping-for-algebraic-effects-and-handlers
Type system
A type system extension to handle algebraic effects and handlers
My Master thesis for the Master of Science in Engineering: Computer Science (2016-2018) at KU Leuven [Finished]
0 stars
0 watching
0 forks
Language: TeX
last commit: over 6 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 environmentset/hyogwa | An effect system designed to handle intensional information in code, such as side effects, by encoding it into types. | 58 |
 githwxi/ats-postiats | A programming language system that enables advanced type manipulation and template generation | 354 |
 avaloniautils/showmethexaml.avalonia | Tools for displaying XAML content in Avalonia applications | 33 |
 matthieu-beteille/redux-data-fx | A library that helps separate business logic and side effects in Redux applications using declarative data structures | 53 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 367 |
 lexi-lambda/freer-simple | A Haskell library for building effectful applications with a focus on type-level effects and composability | 228 |
| lexi-lambda/eff | An extensible effect system for Haskell that allows flexible handling of effects at the type level. | 124 |
 agrafix/elm-bridge | A tool to automatically generate Elm types and functions from Haskell definitions | 101 |
 widen/expect-axe-playwright | Tools for running automated accessibility tests in web applications | 21 |
 fused-effects/fused-effects | A fast and flexible effect system for Haskell that enables expressive and efficient programming | 649 |
 atx/wtype | A command-line utility for simulating wayland keyboard events and typing characters in a compositor-independent manner | 389 |
 effekt-lang/effekt | Language with lightweight effect handling and polymorphism | 336 |
 xorcerer/zexpression | A math expression parser and evaluator with support for variables and functions in multiple programming languages. | 10 |
 lspitzner/exference | A tool for generating Haskell expressions from types | 101 |
 informalsystems/quint | A specification language with type checking and tooling based on temporal logic of actions | 834 |