No value restriction is needed for algebraic effects and handlers (Q5372003): Difference between revisions

@@ Property / arXiv ID @@
+.06938
@@ Property / arXiv ID: 1605.06938 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent Types and Fibred Computational Effects
@@ Property / cites work: Dependent Types and Fibred Computational Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization by evaluation and algebraic effects
@@ Property / cites work: Normalization by evaluation and algebraic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+An Effect System for Algebraic Effects and Handlers
+Normal rank
@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling standard ML to Java bytecodes
@@ Property / cites work: Compiling standard ML to Java bytecodes / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and reasoning with algebraic effects and dependent types
+Normal rank
@@ Property / cites work @@
+Q4002146
@@ Property / cites work: Q4002146 / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490731
@@ Property / cites work: Q4490731 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A certified implementation of ML with structural polymorphism and recursive types
+Normal rank
@@ Property / cites work @@
+Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics for polymorphic references
@@ Property / cites work: Trace semantics for polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Dynamic Control Operators for Delimited Continuations
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for effect-dependent optimisations
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Relating computational effects by \(\top \top \)-lifting
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+A Substructural Type System for Delimited Continuations
+Normal rank
@@ Property / cites work @@
+Delimited dynamic binding
@@ Property / cites work: Delimited dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995164
@@ Property / cites work: Q4995164 / rank @@
+Normal rank
@@ Property / cites work @@
+Type directed compilation of row-typed algebraic effects
+Normal rank
@@ Property / cites work @@
+A Classical Realizability Model for a Semantical Value Restriction
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Unchecked exceptions can be strictly more powerful than call/cc
+Normal rank
@@ Property / cites work @@
+Do be do be do
@@ Property / cites work: Do be do be do / rank @@
+Normal rank
@@ Property / cites work @@
+Local States in String Diagrams
@@ Property / cites work: Local States in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of dynamic binding
@@ Property / cites work: A syntactic theory of dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Focalisation and Classical Realisability
@@ Property / cites work: Focalisation and Classical Realisability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Algebraic Effects
@@ Property / cites work: Inferring Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to algebraic effects and handlers (invited tutorial paper)
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216629
@@ Property / cites work: Q3216629 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
+Normal rank
@@ Property / cites work @@
+Efficient algebraic effect handlers for Prolog
@@ Property / cites work: Efficient algebraic effect handlers for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+A static simulation of dynamic delimited control
@@ Property / cites work: A static simulation of dynamic delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
+Normal rank
@@ Property / cites work @@
+Completeness for Algebraic Theories of Local State
+Normal rank
@@ Property / cites work @@
+An Algebraic Presentation of Predicate Logic
@@ Property / cites work: An Algebraic Presentation of Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Instances of Computational Effects: An Algebraic Perspective
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for polymorphic references
@@ Property / cites work: Type inference for polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of effects and monads
@@ Property / cites work: The marriage of effects and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank
@@ Property / cites work @@
+Fusion for Free
@@ Property / cites work: Fusion for Free / rank @@
+Normal rank