Forsythe
From MaRDI portal
Software:33175
No author found.
Related Items (24)
A categorical interpretation of Landin's correspondence principle ⋮ Tridirectional typechecking ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ Intersection type assignment systems ⋮ Intersection-types à la Church ⋮ Higher-order subtyping and its decidability ⋮ Type Inference for Rank 2 Gradual Intersection Types ⋮ Elaborating intersection and union types ⋮ Operational interpretations of an extension of Fω with control operators ⋮ Disjoint Polymorphism ⋮ Extensible Datasort Refinements ⋮ A typed lambda calculus with intersection types ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Intersection types for combinatory logic ⋮ Types with intersection: An introduction ⋮ Metamodeling semantics of multiple inheritance ⋮ Unnamed Item ⋮ Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance ⋮ Functorial polymorphism ⋮ Unnamed Item ⋮ Type inference for variant object types ⋮ Taming the Merge Operator ⋮ Combining type disciplines ⋮ Elaborating intersection and union types
This page was built for software: Forsythe
