The Resource Qualified types : theory and practice, Mark P. Jones

Qualified types : theory and practice, Mark P. Jones

Label
Qualified types : theory and practice
Title
Qualified types
Title remainder
theory and practice
Statement of responsibility
Mark P. Jones
Creator
Author
Subject
Language
eng
Summary
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all possible types for any term. In addition, he describes a new technique for establishing suitable coherence conditions that guarantee the same semantics for all possible translations of a given term. Practical issues that arise in concrete implementations are also discussed, concentrating in particular on the implementation of overloading in Haskell and Gofer, a small functional programming system developed by the author
Member of
Cataloging source
UkCbUP
http://library.link/vocab/creatorName
Jones, Mark P
Dewey number
005.13/1
Index
index present
LC call number
QA76.9.A23
LC item number
J66 1994
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Distinguished dissertations in computer science
http://library.link/vocab/subjectName
Abstract data types (Computer science)
Label
Qualified types : theory and practice, Mark P. Jones
Link
https://doi.org/10.1017/CBO9780511663086
Instantiates
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Extent
1 online resource (xii, 157 pages)
Form of item
online
Isbn
9780511663086
Isbn Type
(ebook)
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote
System control number
(UkCbUP)CR9780511663086
Label
Qualified types : theory and practice, Mark P. Jones
Link
https://doi.org/10.1017/CBO9780511663086
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Extent
1 online resource (xii, 157 pages)
Form of item
online
Isbn
9780511663086
Isbn Type
(ebook)
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote
System control number
(UkCbUP)CR9780511663086

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...