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