ABC programmer's handbook

Authors:
Leo Geurts;Lambert Meertens;Steven Pemberton
Affiliations:
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands;Centre for Mathematics and Computer Science, Amsterdam, The Netherlands;Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Venue:
ABC programmer's handbook
Year:
1990

Type inference with polymorphic recursion

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using ABC to prototype VDM specifications

ACM SIGPLAN Notices
Attaching Second-Order Types to Methods in an Object-Oriented Language

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Seven Deadly Sins of Introductory Programming Language Design

SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)

Hi-index	0.00