The following pages link to (Q2763693):
Displaying 7 items.
- Generic programming in 3D (Q923888) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- Enhanced type inference for binding-time analysis (Q2061291) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Extensible encoding of type hierarchies (Q3189854) (← links)
- Fundamentals of coding type problems (Q3637813) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)