The following pages link to Comparing object encodings. (Q1854318):
Displaying 7 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- On the decidability of subtyping with bounded existential types and implementation constraints (Q1758661) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Type destructors (Q1854494) (← links)
- Foundations for virtual types (Q1854531) (← links)
- Verified software units (Q2233451) (← links)
- Two provably secure \(k\)-out-of-\(n\) oblivious transfer schemes (Q2571970) (← links)
