Pages that link to "Item:Q1322476"
From MaRDI portal
The following pages link to A type inference algorithm for a stratified polymorphic type discipline (Q1322476):
Displaying 7 items.
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- (Q3416642) (← links)
- Type Inference for a Polynomial Lambda Calculus (Q3638250) (← links)
- Type inference in polymorphic type discipline (Q5096210) (← links)
- Stratified type inference for generalized algebraic data types (Q5348926) (← links)