Results 231 to 240 of about 720,719 (268)
Some of the next articles are maybe not open access.
A New Formalization of Subtyping to Match Subclasses to Subtypes
2014Most object-oriented languages do not support explicit recursive types, which are useful to define binary methods and some kinds of factory methods, because explicit recursive types lead to a mismatch between subclassing and subtyping. This mismatch means that an expression of a subclass may not always be usable in a context where an expression of a ...
Hyunik Na, Sukyoung Ryu
openaire +1 more source
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2003
Alain Frisch +2 more
openaire +1 more source
Alain Frisch +2 more
openaire +1 more source
Collagen: quantification, biomechanics and role of minor subtypes in cartilage
Nature Reviews Materials, 2020Benjamin J Bielajew +2 more
exaly
Cortical somatostatin interneuron subtypes form cell-type-specific circuits
Neuron, 2023Alvar Prönneke
exaly

