Paper

Type
ARTICLE  
Title
Deriving Session and Union Types for Objects  
Authors
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri 
Book
Mathematical Structures in Computer Science  
Pages
1163-1219  
Volume
23  
Number
6  
Year
2013  
Bibtex key
BCDGV11  
Paper Url1
http://www.di.unito.it/~capecchi/bcdgv.pdf  
Paper Url2
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926&fileId=S0960129512000886  
Bibtex
@ARTICLE{BCDGV11,
  title = {{Deriving Session and Union Types for Objects}},
  author = {Bettini, Lorenzo and Capecchi, Sara and Dezani-Ciancaglini, Mariangiola and Giachino, Elena and Venneri, Betti},
  journal = {Mathematical Structures in Computer Science},
  pages = {1163-1219},
  volume = {23},
  number = {6},
  year = {2013},
  url = {http://www.di.unito.it/~capecchi/bcdgv.pdf},
  url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926&fileId=S0960129512000886},
  publisher = {Cambridge University Press},
}
 
Created
2012-02-09 12:06:26  
Modified
2014-09-09 09:47:35