Type inference for a correspondence certifying type system

Hans Hüttel, Morten Dahl

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

OriginalsprogEngelsk
Titel20th Nordic Workshop on Programming Theory NWPT 2008
Antal sider3
ForlagAlfapress
Publikationsdato2008
Sider22-24
ISBN (Elektronisk)978-9949-430-24-6
StatusUdgivet - 2008
BegivenhedNordic Workshop on Programming TheoryNWPT 2008 - Tallinn, Estland
Varighed: 19 nov. 200821 nov. 2008
Konferencens nummer: 20

Konference

KonferenceNordic Workshop on Programming TheoryNWPT 2008
Nummer20
Land/OmrådeEstland
ByTallinn
Periode19/11/200821/11/2008

Emneord

  • pi-kalkyle
  • type systems
  • effekt
  • typeinferens

Citationsformater