Forsythe
From MaRDI portal
Cited in
(30)- Intersection types for combinatory logic
- Types with intersection: An introduction
- Combining type disciplines
- Intersection type assignment systems
- Type inference for variant object types
- Scala
- Commonloops
- YAFOOL
- Intersection-types à la Church
- A bidirectional refinement type system for LF
- Elaborating intersection and union types
- Disjoint polymorphism
- Extensible Datasort Refinements
- Refinement types for logical frameworks and their interpretation as proof irrelevance
- A realizability interpretation for intersection and union types
- TreatJS
- Stardust
- TypeScript
- Tridirectional typechecking
- scientific article; zbMATH DE number 1058947 (Why is no real title available?)
- Taming the merge operator
- Type Inference for Rank 2 Gradual Intersection Types
- Elaborating intersection and union types
- Metamodeling semantics of multiple inheritance
- Operational interpretations of an extension of Fω with control operators
- A categorical interpretation of Landin's correspondence principle
- Higher-order subtyping and its decidability
- Functorial polymorphism
- A typed lambda calculus with intersection types
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
This page was built for software: Forsythe
