View in EDS PDF Full Text

Practical Foundations for Programming Languages

Saved in:
Bibliographic Details
Title: Practical Foundations for Programming Languages
Description: Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design – the absence of ill-defined programs – follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.
Authors: Robert Harper
Resource Type: eBook.
Subjects: Programming languages (Electronic computers), Programming languages (Electronic computers)--Syntax, Programming languages (Electronic computers)--Semantics
Categories: COMPUTERS / Languages / General
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 527878
RelevancyScore: 1051
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1050.81640625
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$527878$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$527878$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Practical Foundations for Programming Languages
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design – the absence of ill-defined programs – follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Robert+Harper%22">Robert Harper</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29%22">Programming languages (Electronic computers)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Syntax%22">Programming languages (Electronic computers)--Syntax</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Semantics%22">Programming languages (Electronic computers)--Semantics</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Languages+%2F+General%22">COMPUTERS / Languages / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=527878
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.13
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Programming languages (Electronic computers)
        Type: general
      – SubjectFull: Programming languages (Electronic computers)--Syntax
        Type: general
      – SubjectFull: Programming languages (Electronic computers)--Semantics
        Type: general
    Titles:
      – TitleFull: Practical Foundations for Programming Languages
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Robert Harper
      – PersonEntity:
          Name:
            NameFull: Robert Harper
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2013
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781107029576
            – Type: isbn-electronic
              Value: 9781107314597
          Titles:
            – TitleFull: Practical Foundations for Programming Languages
              Type: main
ResultId 1