Database Seminar: Type Inference and Type Checking for the Named Nested Relational Calculus

The School of Informatics at the University of Edinburgh, Appleton Tower 2nd floor seminar room (2.02)
Stijn Vansummeren, from Hasselt University [external] in Belgium, presented Type Inference and Type Checking for the Named Nested Relational Calculus at 4.00pm as part of the Scottish Database Interest Group [external] seminar season at The School of Informatics at the University of Edinburgh, Appleton Tower 2nd floor seminar room (2.02). The DCC was a co-sponsor of this event. Note: this is a joint piece of work with Jan Van den Bussche.