A semantics for type checking (Q5096209): Difference between revisions

@@ Property / author @@
-Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
-Normal rank
@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / 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/3-540-54415-1_38
+Normal rank
@@ Property / OpenAlex ID @@
+W1546709952
@@ Property / OpenAlex ID: W1546709952 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Curry's type-rules are complete with respect to the F-semantics too
+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 @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815296
@@ Property / cites work: Q3815296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976029
@@ Property / cites work: Q3976029 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096209