swMATH21367MaRDI QIDQ33175FDOQ33175
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-1-4612-4118-8_9
Cited In (30)
- Type inference for variant object types
- Metamodeling semantics of multiple inheritance
- Intersection type assignment systems
- Operational interpretations of an extension of Fω with control operators
- Tridirectional typechecking
- Elaborating intersection and union types
- Refinement types for logical frameworks and their interpretation as proof irrelevance
- Higher-order subtyping and its decidability
- Title not available (Why is that?)
- Taming the merge operator
- Scala
- Combining type disciplines
- Commonloops
- YAFOOL
- Type Inference for Rank 2 Gradual Intersection Types
- Stardust
- TreatJS
- TypeScript
- A realizability interpretation for intersection and union types
- Elaborating intersection and union types
- Extensible Datasort Refinements
- 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
- Disjoint polymorphism
- Intersection types for combinatory logic
- Types with intersection: An introduction
- Intersection-types à la Church
- A bidirectional refinement type system for LF
- Functorial polymorphism
This page was built for software: Forsythe
