Inferring Effect Types in an Applicative Language with Asynchronous Communication

Hans Hüttel, Martin Hansen, Bo Jensen, Josva Kleist

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

Original language	English
Title of host publication	Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages
Publisher	Dept. of Computer Science, University of Illinois at Urbana-Campaign
Publication date	1995
Edition	UILI-ENG-95-1702
Publication status	Published - 1995
Event	2nd ACM SIGPLAN Workshop on State in Programming Languages - , United States Duration: 19 May 2010 → …

Conference	2nd ACM SIGPLAN Workshop on State in Programming Languages
Country/Territory	United States
Period	19/05/2010 → …

AUB Link

@inproceedings{141567509c2d11db8ed6000ea68e967b,

title = "Inferring Effect Types in an Applicative Language with Asynchronous Communication",

author = "Hans H{\"u}ttel and Martin Hansen and Bo Jensen and Josva Kleist",

year = "1995",

language = "English",

booktitle = "Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages",

publisher = "Dept. of Computer Science, University of Illinois at Urbana-Campaign",

edition = "UILI-ENG-95-1702",

note = "2nd ACM SIGPLAN Workshop on State in Programming Languages ; Conference date: 19-05-2010",

}

Hüttel, H, Hansen, M, Jensen, B & Kleist, J 1995, Inferring Effect Types in an Applicative Language with Asynchronous Communication. in Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 edn, Dept. of Computer Science, University of Illinois at Urbana-Campaign, 2nd ACM SIGPLAN Workshop on State in Programming Languages, United States, 19/05/2010.

Inferring Effect Types in an Applicative Language with Asynchronous Communication. / Hüttel, Hans; Hansen, Martin; Jensen, Bo et al.
Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702. ed. Dept. of Computer Science, University of Illinois at Urbana-Campaign, 1995.

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

TY - GEN

T1 - Inferring Effect Types in an Applicative Language with Asynchronous Communication

AU - Hüttel, Hans

AU - Hansen, Martin

AU - Jensen, Bo

AU - Kleist, Josva

PY - 1995

Y1 - 1995

M3 - Article in proceeding

BT - Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages

PB - Dept. of Computer Science, University of Illinois at Urbana-Campaign

T2 - 2nd ACM SIGPLAN Workshop on State in Programming Languages

Y2 - 19 May 2010

ER -