Cited in
(15)- Automated techniques for provably safe mobile code.
- Type-directed specialization of polymorphism.
- scientific article; zbMATH DE number 1231611 (Why is no real title available?)
- Open and closed scopes for constrained genericity
- scientific article; zbMATH DE number 1231620 (Why is no real title available?)
- A new criterion for safe program transformations
- On -conversion in the -cube and the combination with abbreviations
- Scrap Your Type Applications
- NESL
- TALx86
- MzScheme
- Flattening tuples in an SSA intermediate representation
- Relational interpretations of recursive types in an operational setting.
- ANF preserves dependent types up to extensional equality
- Type-safe code transformations in Haskell
This page was built for software: TIL
