Gradual type theory (Q5019016): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Dependent Types and Fibred Computational Effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Effect System for Algebraic Effects and Handlers / rank
 
Normal rank
Property / cites work
 
Property / cites work: The gradualizer: a methodology and algorithm for generating gradual type systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatically generating the dynamic semantics of gradually typed languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of dependent interoperability / rank
 
Normal rank
Property / cites work
 
Property / cites work: The interaction of contracts and laziness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contracts for higher-order functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4261086 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstracting gradual typing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locus Solum: From the rules of logic to the logic of rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Space-Efficient Manifest Contracts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contracts made manifest / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic typing: Syntax and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Space-efficient gradual typing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Typed Contracts for Functional Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4829806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contextual isomorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4989404 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Do be do be do / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notions of computation and monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models of a Non-associative Composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name Gradual Type Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5214814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gradual type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polarized Substructural Session Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2704328 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exploring the Design Space of Higher-Order Casts / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Recursive Union of Some Gradual Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Threesomes, with and without blame / rank
 
Normal rank
Property / cites work
 
Property / cites work: How to evaluate the performance of gradual type systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The design and implementation of typed scheme / rank
 
Normal rank
Property / cites work
 
Property / cites work: Big types in little runtime: open-world soundness and collaborative blame for gradual type systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-Typed Programs Can’t Be Blamed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static contract checking for Haskell / rank
 
Normal rank

Revision as of 14:26, 27 July 2024

scientific article; zbMATH DE number 7450853
Language Label Description Also known as
English
Gradual type theory
scientific article; zbMATH DE number 7450853

    Statements

    Gradual type theory (English)
    0 references
    0 references
    0 references
    0 references
    27 December 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers