A theory of type polymorphism in programming (Q1250704): Difference between revisions

@@ Property / cites work @@
+Q4082975
@@ Property / cites work: Q4082975 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Some ideas on data types in high-level languages
@@ Property / cites work: Some ideas on data types in high-level languages / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Q4184271
@@ Property / cites work: Q4184271 / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138713
@@ Property / cites work: Q4138713 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124312
@@ Property / cites work: Q4124312 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+On a new approach to representation independent data classes
+Normal rank
@@ Property / cites work @@
+The treatment of data types in EL1
@@ Property / cites work: The treatment of data types in EL1 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 68
+Normal rank