Highly Influenced

@inproceedings{Breuer1998TheG4, title={The GAP 4 Type System: Organising Algebraic Algorithms}, author={Thomas Breuer and Steve Linton}, booktitle={ISSAC}, year={1998} }

- Published 1998 in ISSAC
DOI:10.1145/281508.281540

Version 4 of the GAP (Groups, Algorithms, Programming) system for computational discrete mathematics has a number of novel features. In this paper, we describe the type system, and the way in which it is used for method selection. This system is central to the organisation of the library which is the main part of the GAP system. Unlike simpler object-oriented systems, GAP allows method selection based on the types of all arguments and on certain aspects of the relationship between the arguments… CONTINUE READING

Highly Cited

This paper has 17 citations. REVIEW CITATIONS