Faithful translations between polyvariant flows and polymorphic types
| Author(s) : | Franklyn A. Turbak Torben Amtoft, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | This document is a draft of a technical report that expands upon [AT00] and is in preparation for submission to ACM, |