DaftarIsitemplate

Call Number

SEM-198

Title

Deriving algorithms from type inference systems: application to strictness analysis,Hal 202-212

Author

Chris Hankin; Daniel Le Metayer;

Publisher

Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994

Subject

Location