Prototyping Database functions using type theory

P. Rajagopalan, Chi-Ping Tsang

Research output: Chapter in Book/Conference paper › Conference paper

Original language	English
Title of host publication	Not available
Editors	C.S. McDonald
Place of Publication	Yanchep, Perth
Publisher	The University of Western Australia
Pages	1-10
Volume	1
Publication status	Published - 1992
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{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",

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

}