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
    Publication statusPublished - 1992
    EventPrototyping Database Functions Using Type Theory -
    Duration: 1 Jan 1993 → …


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

    Cite this