Visible Type Application (Q2802481): Difference between revisions

@@ Property / cites work @@
+Idris, a general-purpose dependently typed programming language: Design and implementation
+Normal rank
@@ Property / cites work @@
+HLIO: mixing static and dynamic typing for information-flow control in Haskell
+Normal rank
@@ Property / cites work @@
+Associated type synonyms
@@ Property / cites work: Associated type synonyms / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Schemes for Modular Programs
@@ Property / cites work: Principal Type Schemes for Modular Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Complete and easy bidirectional typechecking for higher-rank polymorphism
+Normal rank
@@ Property / cites work @@
+Closed type families with overlapping equations
@@ Property / cites work: Closed type families with overlapping equations / rank @@
+Normal rank
@@ Property / cites work @@
+Visible Type Application
@@ Property / cites work: Visible Type Application / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Q3702495
@@ Property / cites work: Q3702495 / 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 @@
+Q2778831
@@ Property / cites work: Q2778831 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical type inference for arbitrary-rank types
@@ Property / cites work: Practical type inference for arbitrary-rank types / rank @@
+Normal rank
@@ Property / cites work @@
+<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
+Normal rank