Generic Matrices in occam3(e)
Chutimaskul, W., & Kerridge, J. (1995). Generic Matrices in occam3(e). In Transputer Research and Applications 7 (NATUG-7): Proceedings of the Seventh Conference of the North American Transputer Users Group (255)
The possibility of enhancing the occam3 type system to support genericity for the purpose of reusability can be realised by means of user-defined parameterised types (UPTs) and overloading. A UPT is a mechanism for the reuse of data types and is empl... Read More about Generic Matrices in occam3(e).