Purely functional programming and the object-oriented inheritance and ploymorphism

MaRDI QIDQ5309362zbMATH OpenFDO

Authors Lehel István Kovács, Gábor Légrádi, Zoltán Csörnyei

Publication date 9 October 2007

zbMATH Keywords

object-oriented programminginheritancepolymorphismuntyped and typed \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1992423
• Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
• An extension of system \(F\) with subtyping
• Type theories and object-oriented programmimg
• Simple type-theoretic foundations for object-oriented programming

Cited in

(5)

• Object-oriented programming, functional programming and \texttt{R}
• Type theories and object-oriented programmimg
• scientific article; zbMATH DE number 1992423 (Why is no real title available?)
• Adaptation in HOT languages comparing polymorphism, modules, and objects
• scientific article; zbMATH DE number 219197 (Why is no real title available?)

This page was built for publication: Purely functional programming and the object-oriented inheritance and ploymorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309362)