%0 Conference Proceedings
%F bgs90
%A Breazu-Tannen, V.
%A Gunter, C.
%A Scedrov, A.
%T Computing with Coercions
%B Proc. ACM Symp. on Lisp and Functional Programming (LFP), Nice, France
%E Wand, M.
%P 44-60
%D 1990
%K coinduction