Meertens, Lambert "Incremental polymorphic type checking in B" (1983) |
[POPL 1983] (1983) [ACM SIGACT-SIGPLAN] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1983, Austin, Texas
Languages mentioned
- B {1975} Simple interactive programming environment
|
|
|