Typelets

Authors:
Pradeep Kumar Duraisamy Soundrapandian
Affiliations:
CEG, Anna University, Chennai, India
Venue:
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Year:
2010

Citing 5
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Dependent types in practical programming

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using types to enforce architectural structure

Using types to enforce architectural structure
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Alias count facilitate ownership transfer

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.