Philip S. Santas

Learn More
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)
Freshwater algal biomass and orange and lemon peels were assessed as tissue paper pulp supplements. Cellulose and hemicellulose contents of algal biomass were 7.1% and 16.3%, respectively, whereas for citrus peels cellulose content ranged from 12.7% to 13.6% and hemicellulose from 5.3% to 6.1%. For all materials, lignin and ash content was 2% or lower,(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)
We examine type systems for support of subtypes and categories in computer algebra systems. By modelling representation of inst antes in terms of existential types instead of recursive types, we obtain not only a simplified model, but we build a basis for defining subt yping among algebraic domains. The introduction of metaclasses, facilitates the task, by(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