System-Level Types for Component-Based Design

This publication has 10 references indexed in Scilit:

• Computing for embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Interface automata
  Published by Association for Computing Machinery (ACM) ,2001
• An Extensible Type System for Component-Based Design
  Published by Springer Nature ,2000
• Eliminating array bound checking through dependent types
  Published by Association for Computing Machinery (ACM) ,1998
• Challenges in type systems research
  ACM Computing Surveys, 1996
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Synchronous data flow
  Proceedings of the IEEE, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984
• Communicating sequential processes
  Communications of the ACM, 1978