Publication | Closed Access
Type directed compilation of row-typed algebraic effects
94
Citations
39
References
2016
Year
Unknown Venue
Symbolic ManipulationEngineeringRepresentation TheoryAlgebraic Effect HandlersType TheoryDependently Typed ProgrammingFormal MethodsComputer AlgebraAlgebraic AnalysisType SystemCompilersRow-typed Algebraic EffectsApplied Algebra
Algebraic effect handlers, introduced by Plotkin and Power in 2002,
| Year | Citations | |
|---|---|---|
Page 1
Page 1