The Essence of Dependent Object Types (Q3188291): Difference between revisions

@@ Property / cites work @@
+Q4222771
@@ Property / cites work: Q4222771 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of system \(F\) with subtyping
@@ Property / cites work: An extension of system \(F\) with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198724
@@ Property / cites work: Q4198724 / rank @@
+Normal rank
@@ Property / cites work @@
+A Core Calculus for Scala Type Checking
@@ Property / cites work: A Core Calculus for Scala Type Checking / rank @@
+Normal rank
@@ Property / cites work @@
+System F with coercion constraints
@@ Property / cites work: System F with coercion constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Mixin' up the ML module system
@@ Property / cites work: Mixin' up the ML module system / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779257
@@ Property / cites work: Q2779257 / rank @@
+Normal rank
@@ Property / cites work @@
+A virtual class calculus
@@ Property / cites work: A virtual class calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046755
@@ Property / cites work: Q3046755 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling abstract types in modules with open existential types
+Normal rank
@@ Property / cites work @@
+Type soundness proofs with definitional interpreters
+Normal rank
@@ Property / cites work @@
+ML – core and modules united (F-ing first-class modules)
+Normal rank
@@ Property / cites work @@
+F-ing modules
@@ Property / cites work: F-ing modules / rank @@
+Normal rank
@@ Property / cites work @@
+Full Reduction in the Face of Absurdity
@@ Property / cites work: Full Reduction in the Face of Absurdity / rank @@
+Normal rank