A Calculus for Overloaded Functions with Subtyping

Information and Computation - Tập 117 Số 1 - Trang 115-135 - 1995
Giuseppe Castagna1, Giorgio Ghelli1, Giuseppe Longo1
1Dmi, Liens, CNRS, 45 Rue Ulm, Paris, France and Dipartimento Informat, Pisa, Italy#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo