TIL
From MaRDI portal
Software:33980
swMATH22185MaRDI QIDQ33980FDOQ33980
Author name not available (Why is that?)
Cited In (12)
- 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?)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
- Scrap Your Type Applications
- Flattening tuples in an SSA intermediate representation
- Relational interpretations of recursive types in an operational setting.
- ANF preserves dependent types up to extensional equality
- A New Criterion for Safe Program Transformations
- Type-safe code transformations in Haskell
This page was built for software: TIL
