A Deductive And Typed Object-Oriented Language

Martin Cornelis René Bal

Research output: Thesis › PhD Thesis - Research UT, graduation UT

Original language	English
Awarding Institution	University of Twente
Supervisors/Advisors	Balsters, H., Advisor Apers, P.M.G., Supervisor
Award date	4 Nov 1994
Place of Publication	Enschede
Publisher	Universiteit Twente
Print ISBNs	90-9007532-1
Publication status	Published - 4 Nov 1994

Keywords

@phdthesis{ddd74169d49b44749cb3c7475c12d23b,

title = "A Deductive And Typed Object-Oriented Language",

keywords = "DB-OODB: OBJECT-ORIENTED DATABASES",

author = "Bal, {Martin Cornelis Ren{\'e}}",

year = "1994",

month = nov,

day = "4",

language = "English",

isbn = "90-9007532-1",

publisher = "Universiteit Twente",

school = "University of Twente",

}