Browse by Journal
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 . (KAR id:21686) |