Skip to main content

The Bang Calculus: an untyped lambda−calculus generalizing call−by−name and call−by−value

Thomas Ehrhard and Giulio Guerrieri

Book Title
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án Vidal
ISBN
978−1−4503−4148−6
Pages
174–187
Publisher
ACM
Year
2016