Prototyping Database functions using type theory

P. Rajagopalan, Chi-Ping Tsang

    Research output: Chapter in Book/Conference paperConference paper

    Original languageEnglish
    Title of host publicationNot available
    EditorsC.S. McDonald
    Place of PublicationYanchep, Perth
    PublisherThe University of Western Australia
    Pages1-10
    Volume1
    Publication statusPublished - 1992
    EventPrototyping Database Functions Using Type Theory -
    Duration: 1 Jan 1993 → …

    Conference

    ConferencePrototyping Database Functions Using Type Theory
    Period1/01/93 → …

    Cite this

    Rajagopalan, P., & Tsang, C-P. (1992). Prototyping Database functions using type theory. In C. S. McDonald (Ed.), Not available (Vol. 1, pp. 1-10). Yanchep, Perth: The University of Western Australia.
    Rajagopalan, P. ; Tsang, Chi-Ping. / Prototyping Database functions using type theory. Not available. editor / C.S. McDonald. Vol. 1 Yanchep, Perth : The University of Western Australia, 1992. pp. 1-10
    @inproceedings{20185f79f7db4ed49a9cc6fc51c30a00,
    title = "Prototyping Database functions using type theory",
    author = "P. Rajagopalan and Chi-Ping Tsang",
    year = "1992",
    language = "English",
    volume = "1",
    pages = "1--10",
    editor = "C.S. McDonald",
    booktitle = "Not available",
    publisher = "The University of Western Australia",
    address = "Australia",

    }

    Rajagopalan, P & Tsang, C-P 1992, Prototyping Database functions using type theory. in CS McDonald (ed.), Not available. vol. 1, The University of Western Australia, Yanchep, Perth, pp. 1-10, Prototyping Database Functions Using Type Theory, 1/01/93.

    Prototyping Database functions using type theory. / Rajagopalan, P.; Tsang, Chi-Ping.

    Not available. ed. / C.S. McDonald. Vol. 1 Yanchep, Perth : The University of Western Australia, 1992. p. 1-10.

    Research output: Chapter in Book/Conference paperConference paper

    TY - GEN

    T1 - Prototyping Database functions using type theory

    AU - Rajagopalan, P.

    AU - Tsang, Chi-Ping

    PY - 1992

    Y1 - 1992

    M3 - Conference paper

    VL - 1

    SP - 1

    EP - 10

    BT - Not available

    A2 - McDonald, C.S.

    PB - The University of Western Australia

    CY - Yanchep, Perth

    ER -

    Rajagopalan P, Tsang C-P. Prototyping Database functions using type theory. In McDonald CS, editor, Not available. Vol. 1. Yanchep, Perth: The University of Western Australia. 1992. p. 1-10