Well-Typed Logic Programs Are not Wrong.

Pierre Deransart, Jan-Georg Smaus

Browse the full FLOPS paper archive.