skip to content
Multi-methods in a statically-typed programming language Preview this item
ClosePreview this item
Checking...

Multi-methods in a statically-typed programming language

Author: Warwick B Mugridge; John Hamer; John G Hosking; University of Auckland. Department of Computer Science.
Publisher: Auckland, N.Z. : University of Auckland, Dept. of Computer Science, [1990]
Series: Auckland computer science report, 50.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Warwick B Mugridge; John Hamer; John G Hosking; University of Auckland. Department of Computer Science.
OCLC Number: 33325886
Notes: "November 1990. Revised April 1991"--Page 1.
Description: 18 leaves : illustrations ; 30 cm.
Series Title: Auckland computer science report, 50.
Responsibility: Warwick B. Mugridge, John Hamer, John G. Hosking.

Abstract:

Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of multivariants are provided, based on the generation of despatching variants. Three issues arise with despatching: redundancy, ambiguity, and exhaustiveness of a (partially-ordered) set of variants with respect to a function call. It is shown that the approach taken here is consistent with separate compilation."

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/33325886> # Multi-methods in a statically-typed programming language
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "33325886" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37853684#Place/auckland_n_z> ; # Auckland, N.Z.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nz> ;
   schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
   schema:about <http://id.worldcat.org/fast/1029105> ; # Multivariate analysis
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/37853684#Person/hosking_john_g> ; # John G. Hosking
   schema:contributor <http://viaf.org/viaf/155936478> ; # University of Auckland. Department of Computer Science.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/37853684#Person/hamer_john> ; # John Hamer
   schema:creator <http://viaf.org/viaf/163506176> ; # Warwick B. Mugridge
   schema:datePublished "1990" ;
   schema:description "Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of multivariants are provided, based on the generation of despatching variants. Three issues arise with despatching: redundancy, ambiguity, and exhaustiveness of a (partially-ordered) set of variants with respect to a function call. It is shown that the approach taken here is consistent with separate compilation.""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/37853684> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37853684#Series/auckland_computer_science_report> ; # Auckland computer science report ;
   schema:name "Multi-methods in a statically-typed programming language"@en ;
   schema:productID "33325886" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/33325886#PublicationEvent/auckland_n_z_university_of_auckland_dept_of_computer_science_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/37853684#Agent/university_of_auckland_dept_of_computer_science> ; # University of Auckland, Dept. of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/33325886> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/37853684#Agent/university_of_auckland_dept_of_computer_science> # University of Auckland, Dept. of Computer Science
    a bgn:Agent ;
   schema:name "University of Auckland, Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/37853684#Person/hamer_john> # John Hamer
    a schema:Person ;
   schema:familyName "Hamer" ;
   schema:givenName "John" ;
   schema:name "John Hamer" ;
    .

<http://experiment.worldcat.org/entity/work/data/37853684#Person/hosking_john_g> # John G. Hosking
    a schema:Person ;
   schema:familyName "Hosking" ;
   schema:givenName "John G." ;
   schema:name "John G. Hosking" ;
    .

<http://experiment.worldcat.org/entity/work/data/37853684#Series/auckland_computer_science_report> # Auckland computer science report ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/33325886> ; # Multi-methods in a statically-typed programming language
   schema:name "Auckland computer science report ;" ;
    .

<http://id.worldcat.org/fast/1029105> # Multivariate analysis
    a schema:Intangible ;
   schema:name "Multivariate analysis"@en ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
   schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://viaf.org/viaf/155936478> # University of Auckland. Department of Computer Science.
    a schema:Organization ;
   schema:name "University of Auckland. Department of Computer Science." ;
    .

<http://viaf.org/viaf/163506176> # Warwick B. Mugridge
    a schema:Person ;
   schema:familyName "Mugridge" ;
   schema:givenName "Warwick B." ;
   schema:name "Warwick B. Mugridge" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.