An Introduction to the Theory of Lists View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1987

AUTHORS

Richard S. Bird

ABSTRACT

In these lectures we introduce a notation and a calculus for specifying and manipulating computable functions over lists. The calculus is used to derive efficient solutions for a number of problems, including problems in text processing. Although programming per se is not the main topic, we indicate briefly how these solutions can be implemented in a purely functional programming language. More... »

PAGES

5-42

References to SciGraph publications

  • 1982. Recursion Equations as a Programming Language in A LIST OF SUCCESSES THAT CAN CHANGE THE WORLD
  • Book

    TITLE

    Logic of Programming and Calculi of Discrete Design

    ISBN

    978-3-642-87376-8
    978-3-642-87374-4

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-87374-4_1

    DOI

    http://dx.doi.org/10.1007/978-3-642-87374-4_1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1024345342


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Oxford", 
              "id": "https://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Programming Research Group, University of Oxford, 11 Keble Rd., Oxford, OX1 3QD, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bird", 
            "givenName": "Richard S.", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-319-30936-1_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025750773", 
              "https://doi.org/10.1007/978-3-319-30936-1_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1780.1781", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040466780"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-6423(86)90023-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041344213"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-6423(86)90023-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041344213"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1987", 
        "datePublishedReg": "1987-01-01", 
        "description": "In these lectures we introduce a notation and a calculus for specifying and manipulating computable functions over lists. The calculus is used to derive efficient solutions for a number of problems, including problems in text processing. Although programming per se is not the main topic, we indicate briefly how these solutions can be implemented in a purely functional programming language.", 
        "editor": [
          {
            "familyName": "Broy", 
            "givenName": "Manfred", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-87374-4_1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-642-87376-8", 
            "978-3-642-87374-4"
          ], 
          "name": "Logic of Programming and Calculi of Discrete Design", 
          "type": "Book"
        }, 
        "name": "An Introduction to the Theory of Lists", 
        "pagination": "5-42", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-87374-4_1"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "73fbbc3a51cae602fdb45f8da1cdec7bd377f65ec1164bcc3d5ab1a4273c4dbf"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1024345342"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-87374-4_1", 
          "https://app.dimensions.ai/details/publication/pub.1024345342"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T11:34", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8660_00000258.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-87374-4_1"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-87374-4_1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-87374-4_1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-87374-4_1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-87374-4_1'


     

    This table displays all metadata directly associated to this object as RDF triples.

    74 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-87374-4_1 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N35ea63856d054d0da5c3eb15db28dc6e
    4 schema:citation sg:pub.10.1007/978-3-319-30936-1_24
    5 https://doi.org/10.1016/0167-6423(86)90023-7
    6 https://doi.org/10.1145/1780.1781
    7 schema:datePublished 1987
    8 schema:datePublishedReg 1987-01-01
    9 schema:description In these lectures we introduce a notation and a calculus for specifying and manipulating computable functions over lists. The calculus is used to derive efficient solutions for a number of problems, including problems in text processing. Although programming per se is not the main topic, we indicate briefly how these solutions can be implemented in a purely functional programming language.
    10 schema:editor Nc19f0cb4a49e49c8bd042d49e0245f1b
    11 schema:genre chapter
    12 schema:inLanguage en
    13 schema:isAccessibleForFree true
    14 schema:isPartOf N41d4556320ba47a2be72a20d4778c44d
    15 schema:name An Introduction to the Theory of Lists
    16 schema:pagination 5-42
    17 schema:productId N1a173ec0d9874badaa5ad038e05d4d4c
    18 N2c4800655939421c9701a2204c2c65f9
    19 Nae35c44195c04029885478e03d55615c
    20 schema:publisher N8a8e809be2044c809f532d737e7adf24
    21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024345342
    22 https://doi.org/10.1007/978-3-642-87374-4_1
    23 schema:sdDatePublished 2019-04-15T11:34
    24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    25 schema:sdPublisher N774bdaa0d5714f1f9081fa4303c6e0b7
    26 schema:url http://link.springer.com/10.1007/978-3-642-87374-4_1
    27 sgo:license sg:explorer/license/
    28 sgo:sdDataset chapters
    29 rdf:type schema:Chapter
    30 N1a173ec0d9874badaa5ad038e05d4d4c schema:name doi
    31 schema:value 10.1007/978-3-642-87374-4_1
    32 rdf:type schema:PropertyValue
    33 N2c4800655939421c9701a2204c2c65f9 schema:name dimensions_id
    34 schema:value pub.1024345342
    35 rdf:type schema:PropertyValue
    36 N35ea63856d054d0da5c3eb15db28dc6e rdf:first Ne04aef6dbac04e54a789e3804458d9f4
    37 rdf:rest rdf:nil
    38 N41d4556320ba47a2be72a20d4778c44d schema:isbn 978-3-642-87374-4
    39 978-3-642-87376-8
    40 schema:name Logic of Programming and Calculi of Discrete Design
    41 rdf:type schema:Book
    42 N774bdaa0d5714f1f9081fa4303c6e0b7 schema:name Springer Nature - SN SciGraph project
    43 rdf:type schema:Organization
    44 N7ed3bad16e534fc98ed3961c2c6bec07 schema:familyName Broy
    45 schema:givenName Manfred
    46 rdf:type schema:Person
    47 N8a8e809be2044c809f532d737e7adf24 schema:location Berlin, Heidelberg
    48 schema:name Springer Berlin Heidelberg
    49 rdf:type schema:Organisation
    50 Nae35c44195c04029885478e03d55615c schema:name readcube_id
    51 schema:value 73fbbc3a51cae602fdb45f8da1cdec7bd377f65ec1164bcc3d5ab1a4273c4dbf
    52 rdf:type schema:PropertyValue
    53 Nc19f0cb4a49e49c8bd042d49e0245f1b rdf:first N7ed3bad16e534fc98ed3961c2c6bec07
    54 rdf:rest rdf:nil
    55 Ne04aef6dbac04e54a789e3804458d9f4 schema:affiliation https://www.grid.ac/institutes/grid.4991.5
    56 schema:familyName Bird
    57 schema:givenName Richard S.
    58 rdf:type schema:Person
    59 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    60 schema:name Information and Computing Sciences
    61 rdf:type schema:DefinedTerm
    62 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    63 schema:name Computer Software
    64 rdf:type schema:DefinedTerm
    65 sg:pub.10.1007/978-3-319-30936-1_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025750773
    66 https://doi.org/10.1007/978-3-319-30936-1_24
    67 rdf:type schema:CreativeWork
    68 https://doi.org/10.1016/0167-6423(86)90023-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041344213
    69 rdf:type schema:CreativeWork
    70 https://doi.org/10.1145/1780.1781 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040466780
    71 rdf:type schema:CreativeWork
    72 https://www.grid.ac/institutes/grid.4991.5 schema:alternateName University of Oxford
    73 schema:name Programming Research Group, University of Oxford, 11 Keble Rd., Oxford, OX1 3QD, UK
    74 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...