University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell

        View/Open
        CSTR 154.pdf (PDF, 3Mb)
        Author
        Buchanan, K.M.
        Dickerson, R.
        Attention
        2299/4686
        Abstract
        The treatment of types in programming and in type checking is considered briefly and types are distinguished from classes. The subtyping relation is discussed with particular emphasis on the consequences of combining the inheritance and subtyping hierarchies in object-oriented programming. Less restrictive type relationships for inheritance are discussed and it is concluded that there are advantages in separating implementation inheritance from subtyping. Further work is needed to establish the significance of such a separation throughout the system development process.
        Publication date
        1992
        Other links
        http://hdl.handle.net/2299/4686
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan