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