Type inference for a correspondence certifying type system

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning

Originalsprog	Engelsk
Titel	20th Nordic Workshop on Programming Theory NWPT 2008
Antal sider	3
Forlag	Alfapress
Publikationsdato	2008
Sider	22-24
ISBN (Elektronisk)	978-9949-430-24-6
Status	Udgivet - 2008
Begivenhed	Nordic Workshop on Programming TheoryNWPT 2008 - Tallinn, Estland Varighed: 19 nov. 2008 → 21 nov. 2008 Konferencens nummer: 20

Konference	Nordic Workshop on Programming TheoryNWPT 2008
Nummer	20
Land/Område	Estland
By	Tallinn
Periode	19/11/2008 → 21/11/2008

Emneord

@inbook{47164460e7c811ddb0a4000ea68e967b,

title = "Type inference for a correspondence certifying type system",

keywords = "pi-kalkyle, type systems, effekt, typeinferens, pi-calculus, type systems, effekt, type inference",

author = "Hans H{\"u}ttel and Morten Dahl",

year = "2008",

language = "English",

pages = "22--24",

booktitle = "20th Nordic Workshop on Programming Theory NWPT 2008",

publisher = "Alfapress",

note = "Nordic Workshop on Programming TheoryNWPT 2008 ; Conference date: 19-11-2008 Through 21-11-2008",

}

TY - ABST

T1 - Type inference for a correspondence certifying type system

AU - Hüttel, Hans

AU - Dahl, Morten

N1 - Conference code: 20

PY - 2008

Y1 - 2008

KW - pi-kalkyle

KW - type systems

KW - effekt

KW - typeinferens

KW - pi-calculus

KW - type systems

KW - effekt

KW - type inference

M3 - Conference abstract in proceeding

SP - 22

EP - 24

BT - 20th Nordic Workshop on Programming Theory NWPT 2008

PB - Alfapress

T2 - Nordic Workshop on Programming TheoryNWPT 2008

Y2 - 19 November 2008 through 21 November 2008

ER -