Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:2d63bn7h0lvk0h80 > Pragmatic subtyping...

Pragmatic subtyping in polymorphic languages [Elektronisk resurs]

Nordlander, Johan (författare)
ACM SIGPLAN International Conference on Functional Programming : 27/09/1998 - 29/09/1998 
Publicerad: IEEE Communications Society, 1999
Engelska.
Serie: SIGPLAN Notices
Ingår i: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming. ; 216-227
Läs hela texten
Läs hela texten
Läs hela texten
Läs hela texten
  • E-bok
Sammanfattning Ämnesord
Stäng  
  • We present a subtyping extension to the Hindley/Milner type system that is based on name inequivalence. This approach allows the subtype relation to be de ned by incremental construction of polymorphic records and datatypes, in a way that subsumes the basic type systems of both languages like ML and Java. As the main contribution of the paper, we describe a partial type inference algorithm for the extended system which favours succinctness over generality, in the sense that it never infers types with subtype constraints. The algorithm is based on an effcient approximating constraint solver, and is able to type a wide range of programs that utilize subtyping and polymorphism in a non-trivial way. Since constrained types are not inferred, the algorithm cannot be complete; however, we provide a completeness result w. r. t. the Hindley/Milner type system as a form of characterizing lower bound. 

Ämnesord

Natural Sciences  (hsv)
Computer and Information Sciences  (hsv)
Computer Sciences  (hsv)
Naturvetenskap  (hsv)
Data- och informationsvetenskap  (hsv)
Datavetenskap (datalogi)  (hsv)
Dependable Communication and Computation Systems  (ltu)
Kommunikations- och beräkningssystem  (ltu)

Genre

government publication  (marcgt)
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Övriga bibliotek (1)

Ange som favorit

Sök vidare

Hjälp
Fler titlar av
Nordlander, Johan
ACM SIGPLAN Internat ...
Fler titlar om
Natural Sciences
Computer and Informa ...
Computer Sciences
Naturvetenskap
Data- och informatio ...
Datavetenskap (datal ...
visa fler...
Dependable Communica ...
Kommunikations- och ...
visa färre...
Fler titlar i denna genre
government publicati ...
Serie
Värdpublikation
Värdpublikation i annat format
Proceedings of the t ...

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy