Prototyping Database Functions Using Type Theory

P. Rajagoplan, Chi-Ping Tsang

    Research output: Chapter in Book/Conference paperConference paper

    Original languageEnglish
    Title of host publicationNot available
    Place of PublicationBeijing, China
    PublisherInternational Academic Publisher
    Pages327-330
    Publication statusPublished - 1993
    EventPrototyping Database Functions Using Type Theory -
    Duration: 1 Jan 1993 → …

    Conference

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

    Cite this