Type Inference for Correspondence Types.

Andrew D. Gordon Hans Hüttel René Rydhof Hansen Type Inference for Correspondence Types. 21-36 2009 242 Electr. Notes Theor. Comput. Sci. 3 http://dx.doi.org/10.1016/j.entcs.2009.07.079 db/journals/entcs/entcs242.html#GordonHH09