A Type Discipline for Program Modules
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Datalogi, standard ML, program modules
Original language | English |
---|---|
Title of host publication | Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience) |
Place of Publication | Berlin |
Publisher | Springer |
Publication date | 1987 |
Pages | 12 |
Publication status | Published - 1987 |
ID: 291961