The following pages link to TIL (Q33980):
Displaying 13 items.
- Flattening tuples in an SSA intermediate representation (Q1029812) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- Open and closed scopes for constrained genericity (Q1606127) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- Relational interpretations of recursive types in an operational setting. (Q1854316) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Type-safe code transformations in Haskell (Q2866331) (← links)
- Scrap Your Type Applications (Q3521978) (← links)
- (Q4222932) (← links)
- (Q4222943) (← links)
- A New Criterion for Safe Program Transformations (Q4921507) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- Publication:4921507 (← links)