| DaftarIsitemplate |
| Call Number |
| SEM-198 |
| Title |
| A staging calculus and its applications to the verification of translator,Hal 389-396 |
| Author |
| Robert Muller; |
| Publisher |
| Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
| Subject |
| Location |