Type inference for a correspondence certifying type system

Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research

Original language	English
Title of host publication	20th Nordic Workshop on Programming Theory NWPT 2008
Number of pages	3
Publisher	Alfapress
Publication date	2008
Pages	22-24
ISBN (Electronic)	978-9949-430-24-6
Publication status	Published - 2008
Event	Nordic Workshop on Programming TheoryNWPT 2008 - Tallinn, Estonia Duration: 19 Nov 2008 → 21 Nov 2008 Conference number: 20

Conference	Nordic Workshop on Programming TheoryNWPT 2008
Number	20
Country/Territory	Estonia
City	Tallinn
Period	19/11/2008 → 21/11/2008

Keywords

@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 -