swMATH22185MaRDI QIDQ33980FDOQ33980
Author name not available (Why is that?)
Official website: https://www.cs.cmu.edu/~rwh/papers/til/tr.pdf
Cited In (15)
- Automated techniques for provably safe mobile code.
- Type-directed specialization of polymorphism.
- Title not available (Why is that?)
- Open and closed scopes for constrained genericity
- Title not available (Why is that?)
- A new criterion for safe program transformations
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
- Scrap Your Type Applications
- NESL
- Flattening tuples in an SSA intermediate representation
- TALx86
- Relational interpretations of recursive types in an operational setting.
- MzScheme
- ANF preserves dependent types up to extensional equality
- Type-safe code transformations in Haskell
This page was built for software: TIL
