bgs90

V. Breazu-Tannen, C. Gunter, A. Scedrov. Computing with Coercions. In Proc. ACM Symp. on Lisp and Functional Programming (LFP), Nice, France, M. Wand (ed.), Pages 44-60, 1990.

Keyword

[ Coinduction ]

Contact

Val Breazu-Tannen
Carl A. Gunter
A. Scedrov

BibTex Reference

@InProceedings{bgs90,
   Author = {Breazu-Tannen, V. and Gunter, C. and Scedrov, A.},
   Title = {Computing with Coercions},
   BookTitle = {Proc. ACM Symp. on Lisp and Functional Programming (LFP), Nice, France},
   editor = {Wand, M.},
   Pages = {44--60},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)