The following pages link to (Q4301602):
Displaying 31 items.
- Object-oriented programming: some history, and challenges for the next fifty years (Q393077) (← links)
- Higher-order subtyping and its decidability (Q598199) (← links)
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Privacy via subsumption (Q1854493) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Environment classifiers (Q2942909) (← links)
- Bigraphs and transitions (Q2942911) (← links)
- The m-calculus (Q2942912) (← links)
- A generic approach to the static analysis of concurrent programs with procedures (Q2942913) (← links)
- Discovering affine equalities using random interpretation (Q2942914) (← links)
- Bitwidth aware global register allocation (Q2942915) (← links)
- Folklore confirmed (Q2942916) (← links)
- New results on the computability and complexity of points--to analysis (Q2942917) (← links)
- Incremental algorithms for dispatching in dynamically typed languages (Q2942919) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- Coercive subtyping for the calculus of constructions (Q2942921) (← links)
- A type theory for memory allocation and data layout (Q2942924) (← links)
- Static prediction of heap space usage for first-order functional programs (Q2942925) (← links)
- Ownership types for object encapsulation (Q2942927) (← links)
- Guarded recursive datatype constructors (Q2942928) (← links)
- A type system for higher-order modules (Q2942929) (← links)
- Pure patterns type systems (Q2942930) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)
- Completeness and Herbrand theorems for nominal logic (Q5477637) (← links)
- DNAQL: a query language for DNA sticker complexes (Q6095484) (← links)
