Daniel de Rauglaudre

Learn More
We present the operational semantics of streams and stream matching as discussed in. Streams are data structures such as lists, but with different primitive operations. Streams not only provide an interface to usual imput/output channels, but may used as a data structure <italic>per se</italic>, holding any kind of element. A special pattern matching(More)
  • 1