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