@inproceedings{DBLP:conf/ppdp/EhrhardG16,
  title = "The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value",
  author = "Thomas Ehrhard and Giulio Guerrieri",
  year = "2016",
  booktitle = "Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016",
  editor = "James Cheney and Germ{\'{a}}n Vidal",
  isbn = "978-1-4503-4148-6",
  pages = "174--187",
  publisher = "{ACM}",
  url = "http://doi.acm.org/10.1145/2967973",
  doi = "10.1145/2967973",
}