<scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240): Difference between revisions

@@ Property / author @@
-Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / rank @@
-Normal rank
@@ Property / author @@
+Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / 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 theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Shostak's congruence closure as completion
@@ Property / cites work: Shostak's congruence closure as completion / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Extended Algebraic Data Types
@@ Property / cites work: A Framework for Extended Algebraic Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Inference for GHC-Style Multi-parameter Type Classes
+Normal rank
@@ Property / cites work @@
+Understanding functional dependencies via constraint handling rules
+Normal rank
@@ Property / cites work @@
+Scrap your boilerplate with class
@@ Property / cites work: Scrap your boilerplate with class / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving using equational matings and rigid             <i>E</i>             -unification
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking with open type functions
@@ Property / cites work: Type checking with open type functions / rank @@
+Normal rank
@@ Property / cites work @@
+Associated type synonyms
@@ Property / cites work: Associated type synonyms / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / 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 @@
+Type Reconstruction for Type Classes
@@ Property / cites work: Type Reconstruction for Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for polymorphic references
@@ Property / cites work: Type inference for polymorphic references / rank @@
+Normal rank