An Extensible Type System for Component-Based Design

This publication has 9 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Hierarchical finite state machines with multiple concurrency models
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1999
• Interoperation of heterogeneous CAD tools in Ptolemy II
  Published by SPIE-Intl Soc Optical Eng ,1999
• Challenges in type systems research
  ACM Computing Surveys, 1996
• Type classes in Haskell
  ACM Transactions on Programming Languages and Systems, 1996
• Type inference with subtypes
  Published by Springer Nature ,1988
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
  IEEE Transactions on Computers, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Compile-Time Type-Matching
  The Computer Journal, 1967