F via a calculus of coercions

Giulio Manzonetto, Paolo Tranquilli. F via a calculus of coercions. Theoretical Computer Science, 417:74-94, 2012. [doi]

Abstract

Abstract is missing.