Visible Type Application (Q2802481): Difference between revisions

@@ Property / describes a project that uses @@
+Irdis
@@ Property / describes a project that uses: Irdis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Idris
@@ Property / describes a project that uses: Idris / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+F#
@@ Property / describes a project that uses: F# / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2494122154
@@ Property / OpenAlex ID: W2494122154 / rank @@
+Normal rank
@@ 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