Methods that are specialised on sub-classes introduce a number of well-known challenges for type systems: these challenges can now be met in a type system for the pattern calculus. The latter provides a foundation for computation based on pattern-matching in which different cases may have different specialisations of a default type. Supporting type specialisation by both type substitution and sub-typing makes it possible to type functions whose cases correspond to the different.
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar document identification, citation graph analysis, and query-sensitive document summaries. Advantages in terms of availability, coverage, timeliness, and efficiency. Isaac Councill and C. Lee Giles.
R. Torres, S. McNee, M. Abel, J. Konstan, и J. Riedl. Proceedings of the 4th ACM/IEEE-CS Joint Conference on Digital Libraries, стр. 228--236. New York, NY, USA, ACM, (2004)
K. Chandrasekaran, S. Gauch, P. Lakkaraju, и H. Luong. Adaptive Hypermedia and Adaptive Web-Based Systems, том 5149 из Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (2008)
K. Bollacker, S. Lawrence, и L. Giles. Proceedings of the Second International Conference on Autonomous Agents, стр. 116--123. New York, ACM Press, (1998)