Labelled reductions, runtime errors, and operational subsumption (Q4572006): Difference between revisions

@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda-calculus for dynamic binding
@@ Property / cites work: A lambda-calculus for dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222927
@@ Property / cites work: Q4222927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204055
@@ Property / cites work: Q3204055 / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction and the Context Lemma
@@ Property / cites work: Full Abstraction and the Context Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+From operational semantics to domain theory
@@ Property / cites work: From operational semantics to domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of binding structures and applications to rewriting
+Normal rank
@@ Property / cites work @@
+Type inference for record concatenation and multiple inheritance
+Normal rank