Challenges in type systems research
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (4es) , 169
- https://doi.org/10.1145/242224.242442
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- On Binary MethodsTheory and Practice of Object Systems, 1995
- Linear logicTheoretical Computer Science, 1987