DOI: 10.1017/s0956796899003585. Kleisli, a functional query system

10.1017/s0956796899003585

Crossref journal-article

Cambridge University Press (CUP)

Journal of Functional Programming (56)

Abstract

Kleisli is a modern data integration system that has made a significant impact on bioinformatics data integration. This paper contains a brief introduction to the Kleisli system and an example to illustrate its uses in the bioinformatics arena. The primary query language provided by Kleisli is called CPL, which is a functional query language whose surface syntax is based on the comprehension syntax. Kleisli is itself implemented using the functional language SML. So this paper also describes the influence of functional programming research that benefits the Kleisli system, especially the less obvious ones at the implementation level.Availability. Kleisli has been commercialized under the name “KRIS”. It is available from Kris Technology Inc., 713 Santa Cruz Ave, #2, Menlo Park, CA 94025, USA. Direct email to info@kris-inc.com and web browser to http://www.kris-inc.com.

Bibliography

WONG, L. (2000). Kleisli, a functional query system. Journal of Functional Programming, 10(1), 19â56.

Authors 1

LIMSOON WONG (first)

References 0 Referenced 91

None

Dates

Type	When
Created	23 years, 1 month ago (July 27, 2002, 9:29 a.m.)
Deposited	6 years, 5 months ago (March 30, 2019, 3:34 p.m.)
Indexed	1 month, 1 week ago (July 24, 2025, 8:04 a.m.)
Issued	25 years, 8 months ago (Jan. 1, 2000)
Published	25 years, 8 months ago (Jan. 1, 2000)
Published Online	25 years, 8 months ago (Jan. 1, 2000)
Published Print	25 years, 8 months ago (Jan. 1, 2000)

Funders 0

None

BibTeX

@article{WONG_2000, title={Kleisli, a functional query system}, volume={10}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796899003585}, DOI={10.1017/s0956796899003585}, number={1}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={WONG, LIMSOON}, year={2000}, month=jan, pages={19–56} }

JSON

{
  "indexed": {
    "date-parts": [
      [
        2025,
        7,
        24
      ]
    ],
    "date-time": "2025-07-24T12:04:33Z",
    "timestamp": 1753358673702
  },
  "reference-count": 0,
  "publisher": "Cambridge University Press (CUP)",
  "issue": "1",
  "license": [
    {
      "start": {
        "date-parts": [
          [
            2000,
            1,
            1
          ]
        ],
        "date-time": "2000-01-01T00:00:00Z",
        "timestamp": 946684800000
      },
      "content-version": "unspecified",
      "delay-in-days": 0,
      "URL": "https://www.cambridge.org/core/terms"
    }
  ],
  "content-domain": {
    "domain": [],
    "crossmark-restriction": false
  },
  "published-print": {
    "date-parts": [
      [
        2000,
        1
      ]
    ]
  },
  "abstract": "<jats:p>Kleisli is a modern data integration system that has made a significant impact on \nbioinformatics data integration. This paper contains a brief introduction to the Kleisli system \nand an example to illustrate its uses in the bioinformatics arena. The primary query language \nprovided by Kleisli is called CPL, which is a functional query language whose surface syntax \nis based on the comprehension syntax. Kleisli is itself implemented using the functional \nlanguage SML. So this paper also describes the influence of functional programming research \nthat benefits the Kleisli system, especially the less obvious ones at the implementation level.</jats:p><jats:p><jats:bold>Availability.</jats:bold> Kleisli has been commercialized under the name \u201cKRIS\u201d. It is available from \nKris Technology Inc., 713 Santa Cruz Ave, #2, Menlo Park, CA 94025, USA. Direct email to \n<jats:email>info@kris-inc.com</jats:email> and web browser to <jats:uri>http://www.kris-inc.com</jats:uri>.</jats:p>",
  "DOI": "10.1017/s0956796899003585",
  "type": "journal-article",
  "created": {
    "date-parts": [
      [
        2002,
        7,
        27
      ]
    ],
    "date-time": "2002-07-27T13:29:39Z",
    "timestamp": 1027776579000
  },
  "page": "19-56",
  "source": "Crossref",
  "is-referenced-by-count": 91,
  "title": "Kleisli, a functional query system",
  "prefix": "10.1017",
  "volume": "10",
  "author": [
    {
      "given": "LIMSOON",
      "family": "WONG",
      "sequence": "first",
      "affiliation": []
    }
  ],
  "member": "56",
  "published-online": {
    "date-parts": [
      [
        2000,
        1,
        1
      ]
    ]
  },
  "container-title": "Journal of Functional Programming",
  "original-title": [],
  "language": "en",
  "link": [
    {
      "URL": "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0956796899003585",
      "content-type": "unspecified",
      "content-version": "vor",
      "intended-application": "similarity-checking"
    }
  ],
  "deposited": {
    "date-parts": [
      [
        2019,
        3,
        30
      ]
    ],
    "date-time": "2019-03-30T19:34:31Z",
    "timestamp": 1553974471000
  },
  "score": 1,
  "resource": {
    "primary": {
      "URL": "https://www.cambridge.org/core/product/identifier/S0956796899003585/type/journal_article"
    }
  },
  "subtitle": [],
  "short-title": [],
  "issued": {
    "date-parts": [
      [
        2000,
        1
      ]
    ]
  },
  "references-count": 0,
  "journal-issue": {
    "issue": "1",
    "published-print": {
      "date-parts": [
        [
          2000,
          1
        ]
      ]
    }
  },
  "alternative-id": [
    "S0956796899003585"
  ],
  "URL": "http://dx.doi.org/10.1017/S0956796899003585",
  "relation": {},
  "ISSN": [
    "0956-7968",
    "1469-7653"
  ],
  "subject": [],
  "container-title-short": "J. Funct. Prog.",
  "published": {
    "date-parts": [
      [
        2000,
        1
      ]
    ]
  }
}