Pages that link to "Item:Q3795187"
From MaRDI portal
The following pages link to Type theories and object-oriented programmimg (Q3795187):
Displaying 13 items.
- Classification of control of types in programs with complex data types (Q582877) (← links)
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- Graphical inheritance notation for state-based classes (Q927454) (← links)
- Recursive types for Fun (Q1176245) (← links)
- Object-oriented programming and abstract data types (Q1183821) (← links)
- The data model of FAD, a database programming language (Q1186359) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings (Q1896492) (← links)
- Fundamentals of coding type problems (Q3637813) (← links)
- Type extensions (Q3815521) (← links)
- (Q4301602) (← links)
- (Q4318862) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)