Quantifier elimination and parametric polymorphism in programming languages (Q4763983): Difference between revisions

@@ Property / author @@
-Harry G. Mairson
@@ Property / author: Harry G. Mairson / rank @@
-Normal rank
@@ Property / author @@
+Harry G. Mairson
@@ Property / author: Harry G. Mairson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Miranda
@@ Property / describes a project that uses: Miranda / 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 / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Basic polymorphic typechecking
@@ Property / cites work: Basic polymorphic typechecking / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+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 @@
+Denotational semantics of a para-functional programming language
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796800000332
+Normal rank
@@ Property / OpenAlex ID @@
+W2009058469
@@ Property / OpenAlex ID: W2009058469 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4763983