The following pages link to Comparing object encodings. (Q1854318):
Displaying 11 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)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
- Deconstructing general references via game semantics (Q6612784) (← links)
