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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q128437207, #quickstatements; #temporary_batch_1726262144271
 
(12 intermediate revisions by 5 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Haskell / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GHC / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Idris / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GitHub / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Rust / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Scala / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: ML / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Agda / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic Programming with Focusing Proofs in Linear Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus, its syntax and semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3077958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4603450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inheritance as implicit coercion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2766770 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Associated type synonyms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Associated types with class / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the bright side of type classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modular type classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete and easy bidirectional typechecking for higher-rank polymorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Closed type families with overlapping equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extended comparative study of language support for generic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: How to make ad hoc proof automation less ad hoc / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Principal Type-Scheme of an Object in Combinatory Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Qualified Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Practical type inference for arbitrary-rank types / rank
 
Normal rank
Property / cites work
 
Property / cites work: ML <sup>F</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: HMF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implicit parameters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Focusing and polarization in linear, intuitionistic, and classical logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Deductive Approach to Program Synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Efficient Unification Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unification under a mixed prefix / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform proofs as a foundation for logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of type polymorphism in programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Instance chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dependently Typed Programming in Agda / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3142167 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The coherence of languages with intersection types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type checking with open type functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-Class Type Classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Understanding functional dependencies via constraint handling rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: <scp>OutsideIn(X)</scp>Modular type inference with local assumptions / rank
 
Normal rank
Property / cites work
 
Property / cites work: FPH / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositions as sessions / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1017/s0956796818000242 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2912261953 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q128437207 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 22:26, 13 September 2024

scientific article; zbMATH DE number 7135422
Language Label Description Also known as
English
COCHIS: Stable and coherent implicits
scientific article; zbMATH DE number 7135422

    Statements

    COCHIS: Stable and coherent implicits (English)
    0 references
    0 references
    0 references
    0 references
    22 November 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers