The following pages link to Forsythe (Q33175):
Displaying 24 items.
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Higher-order subtyping and its decidability (Q598199) (← links)
- Functorial polymorphism (Q753948) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- Combining type disciplines (Q1319505) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Type inference for variant object types (Q1854549) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- A bidirectional refinement type system for LF (Q2871879) (← links)
- Elaborating intersection and union types (Q2875228) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- Extensible Datasort Refinements (Q2988653) (← links)
- Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance (Q3064169) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Tridirectional typechecking (Q3452267) (← links)
- (Q4353361) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
- Elaborating intersection and union types (Q5168879) (← links)
- Operational interpretations of an extension of F<sub>ω</sub> with control operators (Q5687907) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)
