Domain Specific Types.

Oege de Moor.

Abstract

Little languages allow richer type systems. I'll illustrate this by considering type systems for Datalog, a query language that allows recursion but which is not Turing complete. Because of its restricted nature, one can infer very precise types; the method for doing so is a generalization of Quine's method of computing prime implicants. This is joint work with Max Schaefer, Damien Sereni, Pavel Avgustinov and Mathieu Verbaere.