𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the third ACM SIGPLAN conference - San Diego, California (2007.06.09-2007.06.10)] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III - The when, why and why not of the BETA programming language

✍ Scribed by Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger

Book ID
120562942
Publisher
ACM Press
Year
2007
Weight
798 KB
Category
Article

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2007 ACM SIGPLAN conferen
[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Searching for type-error messages
✍ Lerner, Benjamin S.; Flower, Matthew; Grossman, Dan; Chambers, Craig 📂 Article 📅 2007 🏛 ACM Press ⚖ 398 KB

Advanced type systems often need some form of type inference to reduce the burden of explicit typing, but type inference often leads to poor error messages for ill-typed programs. This work pursues a new approach to constructing compilers and presenting typeerror messages in which the type-checker i