Edinburgh Research Explorer

Type Inference in a Database Programming Language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Number of pages10
ISBN (Print)0-89791-273-X
Publication statusPublished - 1988


We extend an ML-like implicit type system to include a number of structures and operations that are common in database programming including sets, labeled records, joins and projections. We then show that the type inference problem of the system is decidable by extending the notion of principal type schemes to include conditions on substitutions. Combined with Milner's polymorphic let constructor, our language also supports type inheritance.

ID: 10624935