Forskning ved Københavns Universitet - Københavns Universitet

Forside

A Type Discipline for Program Modules

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  • Robert Harper
  • Robin Milner
  • Mads Tofte
Datalogi, standard ML, program modules
OriginalsprogEngelsk
TitelProc. Internat. Conference on Theory and Practice of Software Development (Tapsoft), Pisa, Italy, March 1987. (Lecture Notes in Computerscience)
Udgivelses stedBerlin
ForlagSpringer
Publikationsdato1987
Sider12
StatusUdgivet - 1987

ID: 291961