Pages that link to "Item:Q5178908"
From MaRDI portal
The following pages link to A type system for certified binaries (Q5178908):
Displaying 5 items.
- Testing your (static analysis) truths (Q2119122) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Type-level Computation Using Narrowing in Ωmega (Q2866338) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- A dependently typed multi-stage calculus (Q6536307) (← links)
