Encoding types in ML-like languages (Q1826630): Difference between revisions

@@ Property / describes a project that uses @@
+Polyp
@@ Property / describes a project that uses: Polyp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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.tcs.2003.11.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2002278483
@@ Property / OpenAlex ID: W2002278483 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Functional unparsing
@@ Property / cites work: Functional unparsing / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494371
@@ Property / cites work: Q4494371 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+The second Futamura projection for type-directed partial evaluation
+Normal rank
@@ Property / cites work @@
+Dynamic typing: Syntax and proof theory
@@ Property / cites work: Dynamic typing: Syntax and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+A system of constructor classes: overloading and implicit higher-order polymorphism
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank