View in EDS

From Curry to Haskell: Paths to Abstraction in Programming Languages.

Saved in:
Bibliographic Details
Title: From Curry to Haskell: Paths to Abstraction in Programming Languages.
Authors: Cardone, Felice1 (AUTHOR) felice.cardone@unito.it
Source: Philosophy & Technology. Mar2021, Vol. 34 Issue 1, p57-74. 18p.
Subject Terms: *Mathematical logic, Programming languages, Curries
Abstract: We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry's work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved. [ABSTRACT FROM AUTHOR]
Copyright of Philosophy & Technology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Education Research Complete
FullText Text:
  Availability: 0
Header DbId: ehh
DbLabel: Education Research Complete
An: 149470551
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: From Curry to Haskell: Paths to Abstraction in Programming Languages.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Cardone%2C+Felice%22">Cardone, Felice</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> felice.cardone@unito.it</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Philosophy+%26+Technology%22">Philosophy & Technology</searchLink>. Mar2021, Vol. 34 Issue 1, p57-74. 18p.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: *<searchLink fieldCode="DE" term="%22Mathematical+logic%22">Mathematical logic</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Curries%22">Curries</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry's work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Philosophy & Technology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=ehh&AN=149470551
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s13347-019-00385-4
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 18
        StartPage: 57
    Subjects:
      – SubjectFull: Mathematical logic
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Curries
        Type: general
    Titles:
      – TitleFull: From Curry to Haskell: Paths to Abstraction in Programming Languages.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Cardone, Felice
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2021
              Type: published
              Y: 2021
          Identifiers:
            – Type: issn-print
              Value: 22105433
          Numbering:
            – Type: volume
              Value: 34
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Philosophy & Technology
              Type: main
ResultId 1