Effects as sessions, sessions as effects

File Description SizeFormat 
popl16-orchard-yoshida.pdfAccepted version483.58 kBAdobe PDFView/Open
Title: Effects as sessions, sessions as effects
Authors: Orchard, D
Yoshida, N
Item Type: Conference Paper
Issue Date: 11-Jan-2016
Date of Acceptance: 5-Oct-2015
URI: http://hdl.handle.net/10044/1/33343
DOI: http://dx.doi.org/10.1145/2837614.2837634
ISBN: 978-1-4503-3549-2
Publisher: ACM
Start Page: 568
End Page: 581
Journal / Book Title: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Volume: 51
Issue: 1
Copyright Statement: © ACM 2016. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, http://dx.doi.org/10.1145/2837614.2837634.
Sponsor/Funder: Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Funder's Grant Number: ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Conference Name: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016)
Keywords: Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
session types
pi-calculus
effect systems
PCF
encoding
type systems
Concurrent Haskell
PI-CALCULUS
PROPOSITIONS
COMPUTATION
NOTIONS
Software Engineering
Publication Status: Published
Start Date: 2016-01-20
Finish Date: 2016-01-22
Conference Place: St. Petersburg, FL, USA
Appears in Collections:Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx