The following pages link to Typing dynamic typing (Q2949202):
Displaying 8 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Strongly Typed Rewriting For Coupled Software Transformation (Q2864515) (← links)
- Meta-programming With Built-in Type Equality (Q2871838) (← links)
- Ambivalent Types for Principal Type Inference with GADTs (Q2937793) (← links)
- A Reflection on Types (Q3188294) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
