Lego with coercion synthesis. ftp://ftp.cs.man.ac.uk/pub/baileya/- Coercions/LEGO-with-coercions.dvi (1996)

by A Bailey