Pages that link to "Item:Q3419812"
From MaRDI portal
The following pages link to Practical type inference for arbitrary-rank types (Q3419812):
Displaying 15 items.
- A language for generic programming in the large (Q532409) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- Visible Type Application (Q2802481) (← links)
- Type-level Computation Using Narrowing in Ωmega (Q2866338) (← links)
- Factorising folds for faster functions (Q3070772) (← links)
- A pattern for almost compositional functions (Q3546044) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
- MRI: Modular reasoning about interference in incremental programming (Q5300700) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- Pragmatic gradual polymorphism with references (Q6535232) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
