On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/DomainSpecificTypes
From WG 2.11
Jump to navigationJump to search
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.
