𝔖 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 - Modula-2 and Oberon

✍ Scribed by Wirth, Niklaus

Book ID
121441334
Publisher
ACM Press
Year
2007
Weight
98 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