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