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.