Signature restriction for polymorphic algebraic effects
From MaRDI portal
Publication:6594243
Cites work
- scientific article; zbMATH DE number 3986620 (Why is no real title available?)
- scientific article; zbMATH DE number 3485174 (Why is no real title available?)
- A syntactic approach to type soundness
- A theory of type polymorphism in programming
- Algebraic operations and generic effects
- An effect system for algebraic effects and handlers
- Combining proofs and programs in a dependently typed language
- Complete and easy bidirectional typechecking for higher-rank polymorphism
- Corrigendum: Polymorphic type assignment and CPS conversion
- Dependent ML An approach to practical programming with dependent types
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
- Do be do be do
- Edinburgh LCF. A mechanized logic of computation
- Functional and Logic Programming
- Handlers in action
- Handlers of Algebraic Effects
- Handling algebraic effects
- Handling polymorphic algebraic effects
- Monads in action
- No value restriction is needed for algebraic effects and handlers
- Notions of computation and monads
- Operational reasoning for functions with local state
- Polymorphic Delimited Continuations
- Polymorphic type inference and containment
- Practical type inference for arbitrary-rank types
- Programming with algebraic effects and handlers
- State-dependent representation independence
- Stateful manifest contracts
- The impact of higher-order state and control effects on local relational reasoning
- Type directed compilation of row-typed algebraic effects
- Type inference for polymorphic references
This page was built for publication: Signature restriction for polymorphic algebraic effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6594243)
