Pradeep Kumar Duraisamy Soundrapandian

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Numbers play an important role in every-day life. In a very large-scale program, type system helps to detect the programming errors at compile time. However, the existing type system lack in defining type properties based on numeric values. Typelets ensures types based on numbers rather than predefined assumptions.
  • 1