ACM Transactions on Programming Languages and Systems (TOPLAS)
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
The definition of Standard ML
Principles of Programming Languages
Principles of Programming Languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
| Hi-index | 0.00 |