归并数据类型相关硕士博士期刊学术论文

本文讨论如何用归并类型来代替高级程序设计语言中指针和记录（如ＰＡＳＣＡＬ），归并类型的设计除了具有统一之外，还具有更高可靠性，本文已将归并类型......