Type inference for guarded recursive data types (2005)

by Peter J Stuckey, Martin Sulzmann