| Eric Jul - 1998 - 660 էջ
...mechanisms in the Beta programming language. In Symposium on Principles of Programming Languages, ACM, 1983. [MBL97] Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In Symposium on Principles of Programming Languages, pages 132-145, ACM, 1997. [MM89] OL Madsen and B.... | |
| Benjamin C. Pierce - 2002 - 656 էջ
...Programming, volume 167 of LNCS, pages 217-228, Toulouse, France, April 1984. Springer. Myers, Andrew C., Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In ACM Symposium on Principles of Programming Languages (POPL), Paris, France, pages 132-145, January 1997. Nadathur, Gopalan... | |
| |