<prompt> Kuzalisha toleo ngumu zaidi ya sentensi hii Luca Cardelli na Peter Wegner kupanua dhana katika karatasi ya 1985.  <response>: Bila shaka, toleo ngumu zaidi ya sentensi ni Luca Cardelli na Peter Wegner kupanua dhana katika karatasi 1985 kwa kuanzisha dhana yakujumuisha polymorphismkwa mfano subtypes na urithi. 