Type-dependent parameter inference
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic instantiation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Abstraction Mechanisms and Language Design
Abstraction Mechanisms and Language Design
The Definition of Standard ML
Local package instances are not equivalent to generic formal package parameters
ACM SIGAda Ada Letters
Hi-index | 0.00 |