Signature restriction for polymorphic algebraic effects
From MaRDI portal
Publication:6594243
DOI10.1017/S0956796824000054MaRDI QIDQ6594243FDOQ6594243
Takeshi Tsukada, Atsushi Igarashi, Taro Sekiyama
Publication date: 28 August 2024
Published in: Journal of Functional Programming (Search for Journal in Brave)
Cites Work
- A theory of type polymorphism in programming
- Edinburgh LCF. A mechanized logic of computation
- Programming with algebraic effects and handlers
- An Effect System for Algebraic Effects and Handlers
- Algebraic operations and generic effects
- Handlers of Algebraic Effects
- The impact of higher-order state and control effects on local relational reasoning
- Handlers in action
- State-dependent representation independence
- Notions of computation and monads
- Dependent ML An approach to practical programming with dependent types
- Title not available (Why is that?)
- A syntactic approach to type soundness
- Operational reasoning for functions with local state
- Complete and easy bidirectional typechecking for higher-rank polymorphism
- Polymorphic type inference and containment
- Polymorphic Delimited Continuations
- Practical type inference for arbitrary-rank types
- Type inference for polymorphic references
- Handling algebraic effects
- Title not available (Why is that?)
- Corrigendum: Polymorphic type assignment and CPS conversion
- Monads in action
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
- Combining proofs and programs in a dependently typed language
- No value restriction is needed for algebraic effects and handlers
- Functional and Logic Programming
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- Stateful manifest contracts
- Handling polymorphic algebraic effects
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)
