Luis Damas

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Principal type-schemes for functional programs

Luis Damas and others (1982) · Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages · Association for Computing Machinery