A domain-theoretic model of nominally-typed object-oriented programming (Q276420): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6576797
@@ Property / zbMATH DE Number: 6576797 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+object-oriented programming
@@ Property / zbMATH Keywords: object-oriented programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+denotational semantics
@@ Property / zbMATH Keywords: denotational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nominative type systems
@@ Property / zbMATH Keywords: nominative type systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+structural type systems
@@ Property / zbMATH Keywords: structural type systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+NOOP
@@ Property / zbMATH Keywords: NOOP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type names
@@ Property / zbMATH Keywords: type names / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inheritance
@@ Property / zbMATH Keywords: inheritance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+subtyping
@@ Property / zbMATH Keywords: subtyping / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+OOP
@@ Property / zbMATH Keywords: OOP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+C\#
@@ Property / zbMATH Keywords: C\# / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Java
@@ Property / zbMATH Keywords: Java / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317922
@@ Property / Wikidata QID: Q113317922 / 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 @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / 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.1016/j.entcs.2014.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2038262513
@@ Property / OpenAlex ID: W2038262513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490733
@@ Property / cites work: Q4490733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain-theoretic model of nominally-typed object-oriented programming
+Normal rank
@@ Property / cites work @@
+Q3332229
@@ Property / cites work: Q3332229 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Fighting Bit Rot with Types (Experience Report: Scala Collections)
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and logic of object calculi
@@ Property / cites work: Semantics and logic of object calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:276420