Disjoint Polymorphism (Q2988630): Difference between revisions

@@ Property / describes a project that uses @@
+Forsythe
@@ Property / describes a project that uses: Forsythe / 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 @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-54434-1_1
+Normal rank
@@ Property / OpenAlex ID @@
+W4251450266
@@ Property / OpenAlex ID: W4251450266 / rank @@
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+An algebraic approach to mixins and modularity
@@ Property / cites work: An algebraic approach to mixins and modularity / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering formal metatheory
@@ Property / cites work: Engineering formal metatheory / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Extensible programming with first-class cases
@@ Property / cites work: Extensible programming with first-class cases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855343
@@ Property / cites work: Q4855343 / 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 @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for overloaded functions with subtyping
+Normal rank
@@ Property / cites work @@
+Polymorphic functions with set-theoretic types
@@ Property / cites work: Polymorphic functions with set-theoretic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837264
@@ Property / cites work: Q3837264 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and computational effects
@@ Property / cites work: Intersection types and computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Elaborating intersection and union types
@@ Property / cites work: Elaborating intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Qualified Types
@@ Property / cites work: Qualified Types / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference, principal typings, and let-polymorphism for first-class mixin modules
+Normal rank
@@ Property / cites work @@
+Disjoint intersection types
@@ Property / cites work: Disjoint intersection types / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Q4855342
@@ Property / cites work: Q4855342 / rank @@
+Normal rank
@@ Property / cites work @@
+The coherence of languages with intersection types
+Normal rank
@@ Property / cites work @@
+Q3787979
@@ Property / cites work: Q3787979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204026
@@ Property / cites work: Q3204026 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2988630