[ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)

[SIGPLAN] SIGPLAN Notices  

Futatsugi, K. et al (1985) Futatsugi, K. et al "Principles of OBJ2" Hanson DR and C. W. Fraser (1985) Hanson DR and C. W. Fraser "High-Level Language Facilities for Low-Level Services" 217-224, Mitchell J. et al, (1985) Mitchell J. et al, "Abstract Types have Existential Type" Sannella, D. et al (1985) Sannella, D. et al "Program Specification and Development in Standard ML" Jaffar, J. et al (1987) Jaffar, J. et al "Constraint Logic Programming",