Inproceedings,

Functional Semantics of Modules.

, , and .
TAPSOFT, Vol.2, volume 186 of Lecture Notes in Computer Science, page 42-59. Springer, (1985)

Meta data

Tags

Users

  • @dblp

Comments and Reviews