The following pages link to (Q4436035):
Displaying 7 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- (Q4585064) (← links)
- (Q4826671) (← links)
- Proof-theoretic notions for software maintenance (Q4923374) (← links)