Baby Modula-3 and a theory of objects (Q4764620): Difference between revisions

@@ Property / describes a project that uses @@
+LISP
@@ Property / describes a project that uses: LISP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796800001052
+Normal rank
@@ Property / OpenAlex ID @@
+W2091967036
@@ Property / OpenAlex ID: W2091967036 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4764620