Union and intersection types to support both dynamic and static typing (Q1944090): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2010.12.006
@@ Property / DOI: 10.1016/j.ipl.2010.12.006 / rank @@
-Normal rank
@@ Property / author @@
-Miguel Angel Garcia
@@ Property / author: Miguel Angel Garcia / rank @@
-Normal rank
@@ Property / author @@
+Miguel Angel Garcia
@@ Property / author: Miguel Angel Garcia / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Visual Basic
@@ Property / describes a project that uses: Visual Basic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ruby
@@ Property / describes a project that uses: Ruby / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2168779926
@@ Property / OpenAlex ID: W2168779926 / rank @@
+Normal rank
@@ Property / cites work @@
+Idealized coinductive type systems for imperative object-oriented programs
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4490756
@@ Property / cites work: Q4490756 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient virtual machine support of runtime structural reflection
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2010.12.006
@@ Property / DOI: 10.1016/J.IPL.2010.12.006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1944090