Philip S. Santas

Learn More
  • C. Ververis, K. Georghiou, N. Christodoulakis, P. Santas, R. Santas
  • 2004
Fiber dimensions and lignin and cellulose content of various highly productive, non-wood plants and agricultural residues were examined to assess their suitability for paper production. Plants like kenaf (Hibiscus cannabinus L.) and giant reed (Arundo donax L.) internodes gave very good derived values, especially slenderness ratio, which is directly(More)
This paper presents a type system for support of subtypes, parameterized types with sharing and categoriesin a computeralgebra environment.By modelingrepresentationof instances in terms of existential types, we obtain a simpliied model, and build a basis for deening subtyping among algebraic domains. The inheritance at category level has been formalized;(More)
Traditional programming languages provide a simpliied view of equality. Many programmers have apparently inferred that equality itself is a simple concept | a matter of writing`=' in the right place and leaving the rest to the compiler. Equality tests involve semantic relationships, however, and it follows that a compiler cannot generate correct equality(More)
  • 1