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