Title: Qualified Types
First published: 1994
Subjects: Abstract data types (Computer science)
LC classification: QA76.9.A23 J66 1994