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

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: 1ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dotty
@@ Property / describes a project that uses: Dotty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HMap
@@ Property / describes a project that uses: HMap / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tribe
@@ Property / describes a project that uses: Tribe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2289066165
@@ Property / OpenAlex ID: W2289066165 / rank @@
+Normal rank
@@ 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