COCHIS: Stable and coherent implicits (Q4972074): Difference between revisions

@@ Property / describes a project that uses @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4603450
@@ Property / cites work: Q4603450 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766770
@@ Property / cites work: Q2766770 / rank @@
+Normal rank
@@ Property / cites work @@
+Associated type synonyms
@@ Property / cites work: Associated type synonyms / rank @@
+Normal rank
@@ Property / cites work @@
+Associated types with class
@@ Property / cites work: Associated types with class / rank @@
+Normal rank
@@ Property / cites work @@
+On the bright side of type classes
@@ Property / cites work: On the bright side of type classes / rank @@
+Normal rank
@@ Property / cites work @@
+Modular type classes
@@ Property / cites work: Modular type classes / 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 @@
+An extended comparative study of language support for generic programming
+Normal rank
@@ Property / cites work @@
+How to make ad hoc proof automation less ad hoc
@@ Property / cites work: How to make ad hoc proof automation less ad hoc / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Qualified Types
@@ Property / cites work: Qualified Types / 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 @@
+ML             <sup>F</sup>
@@ Property / cites work: ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+HMF
@@ Property / cites work: HMF / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit parameters
@@ Property / cites work: Implicit parameters / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+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 @@
+Instance chains
@@ Property / cites work: Instance chains / rank @@
+Normal rank
@@ Property / cites work @@
+Dependently Typed Programming in Agda
@@ Property / cites work: Dependently Typed Programming in Agda / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142167
@@ Property / cites work: Q3142167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+The coherence of languages with intersection types
+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 @@
+First-Class Type Classes
@@ Property / cites work: First-Class Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding functional dependencies via constraint handling rules
+Normal rank
@@ Property / cites work @@
+<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
+Normal rank
@@ Property / cites work @@
+FPH
@@ Property / cites work: FPH / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796818000242
+Normal rank
@@ Property / OpenAlex ID @@
+W2912261953
@@ Property / OpenAlex ID: W2912261953 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128437207
@@ Property / Wikidata QID: Q128437207 / rank @@
+Normal rank