Pages that link to "Item:Q4918240"
From MaRDI portal
The following pages link to <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240):
Displayed 10 items.
- Skalpel: a constraint-based type error slicer for standard ML (Q507365) (← links)
- Visible Type Application (Q2802481) (← links)
- Ambivalent Types for Principal Type Inference with GADTs (Q2937793) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Migrating gradual types (Q5051992) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
- Idris, a general-purpose dependently typed programming language: Design and implementation (Q5398331) (← links)
- (Q6079236) (← links)