The following pages link to Comparing object encodings. (Q1854318):
Displayed 5 items.
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Type destructors (Q1854494) (← links)
- Foundations for virtual types (Q1854531) (← links)
- Two provably secure \(k\)-out-of-\(n\) oblivious transfer schemes (Q2571970) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)