Browsing by Author "Nagy, Lajos Pal"
Now showing items 1-1 of 1
-
Type inference, type improvement, and type simplification in a language with user-defined polymorphic relational operators
Nagy, Lajos Pal (2008-10-10)The overarching goal of the current thesis is to pave the road towards a comprehensive solution to the decades old problem of integrating databases and programming languages. For this purpose, we propose a record calculus ...