𝔖 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 - AppleScript

✍ Scribed by ACM - Association for Computing Machinery

Book ID
121441333
Publisher
Association for Computing Machinery
Year
2007
Tongue
English
Weight
607 KB
Edition
ACM
Category
Article
ISBN
1595937668

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