Index of /cml-short-course/coursedir/lect2

 NameLast modifiedSizeDescription
 Parent Directory   -  
 susp.sml 2010-05-19 16:27 466  
 susp.sig 2010-05-19 16:27 154  
 stream.sml 2010-05-19 16:27 642  
 stream.sig 2010-05-19 16:27 177  
 stream.cm 2010-05-19 16:27 106  
 lect2.tar.gz 2010-05-19 16:27 970  
                       Suspensions and Streams

susp.sig

  signature SUSP: interface of suspensions

susp.sml

  structure Susp: implementation of suspensions

stream.sig

  signature STREAM: interface of streams

stream.sml

  structure Stream: implementation of streams

stream.cm

  CM description file