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  
Notes
To appear  
Year
2012  
Bibtex key
BCDGV11  
Paper Url1
http://www.di.unito.it/~capecchi/bcdgv.pdf  
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},
  note = {To appear},
  year = {2012},
  url = {http://www.di.unito.it/~capecchi/bcdgv.pdf},
  publisher = {Cambridge University Press},
}
 
Created
2012-02-09 12:06:26  
Modified
2012-02-09 12:07:25