Q4603450 (Q4603450): Difference between revisions

@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+Normal rank
@@ Property / cites work @@
+Q5277834
@@ Property / cites work: Q5277834 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Compositional semantics for composable continuations
+Normal rank
@@ Property / cites work @@
+Delimited control and computational effects
@@ Property / cites work: Delimited control and computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+Interactive proofs in higher-order concurrent separation logic
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Axiomatizing Subtyped Delimited Continuations.
@@ Property / cites work: Axiomatizing Subtyped Delimited Continuations. / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping delimited continuations
@@ Property / cites work: Subtyping delimited continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Formulae-as-types for an involutive negation
@@ Property / cites work: Formulae-as-types for an involutive negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The coherence of languages with intersection types
+Normal rank
@@ Property / cites work @@
+Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption for monadic types
@@ Property / cites work: Coherence of subsumption for monadic types / rank @@
+Normal rank