Prototyping Database Functions Using Type Theory

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Not available
Place of Publication	Beijing, China
Publisher	International Academic Publisher
Pages	327-330
Publication status	Published - 1993
Event	Prototyping Database Functions Using Type Theory - Duration: 1 Jan 1993 → …

Conference	Prototyping Database Functions Using Type Theory
Period	1/01/93 → …

Cite this

@inproceedings{297c84a3e10f451f94b271e926a69888,

title = "Prototyping Database Functions Using Type Theory",

author = "P. Rajagoplan and Chi-Ping Tsang",

year = "1993",

language = "English",

pages = "327--330",

booktitle = "Not available",

publisher = "International Academic Publisher",

note = "Prototyping Database Functions Using Type Theory ; Conference date: 01-01-1993",

}