A Type Discipline for Program Modules
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
A Type Discipline for Program Modules. / Harper, Robert; Milner, Robin; Tofte, Mads.
Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience). Berlin : Springer, 1987. p. 12.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Harper, R, Milner, R & Tofte, M 1987, A Type Discipline for Program Modules. in Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience). Springer, Berlin, pp. 12.
APA
Harper, R., Milner, R., & Tofte, M. (1987). A Type Discipline for Program Modules. In Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience) (pp. 12). Springer.
Vancouver
Harper R, Milner R, Tofte M. A Type Discipline for Program Modules. In Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience). Berlin: Springer. 1987. p. 12
Author
Bibtex
@inbook{45a03b3074d011dbbee902004c4f4f50,
title = "A Type Discipline for Program Modules",
abstract = "Datalogi, standard ML, program modules",
author = "Robert Harper and Robin Milner and Mads Tofte",
year = "1987",
language = "English",
pages = "12",
booktitle = "Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience)",
publisher = "Springer",
address = "Switzerland",
}
RIS
TY - CHAP
T1 - A Type Discipline for Program Modules
AU - Harper, Robert
AU - Milner, Robin
AU - Tofte, Mads
PY - 1987
Y1 - 1987
N2 - Datalogi, standard ML, program modules
AB - Datalogi, standard ML, program modules
M3 - Book chapter
SP - 12
BT - Proc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience)
PB - Springer
CY - Berlin
ER -
ID: 291961