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
- 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
- Combining type disciplines
- Type Inference for Rank 2 Gradual Intersection Types
- 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
