System-Level Types for Component-Based Design

by Edward A. Lee and Yuhong Xiong

Technical Memorandum UCB/ERL M00/8
Electronics Research Lab University of California Berkeley, CA 94720, USA

[PDF]