[ACM SIGACT-SIGPLAN] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1983, Austin, Texas (1983) |
- Meertens, Lambert (1983) Meertens, Lambert "Incremental polymorphic type checking in B"
- Pratt, V. (1983) Pratt, V. "Five Paradigm Shifts in Programming Language Design and Their Realization in Viron, a Dataflow Programming Environment" pp1-9
|
|
|