[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - iTasks

[ACM Press the 2007 ACM SIGPLAN internat

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Call-pattern specialisation for haskell programs

✍ Jones, Simon Peyton 📂 Article 📅 2007 🏛 ACM Press ⚖ 214 KB

[ACM Press the 2007 ACM SIGPLAN internat

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Faster laziness using dynamic pointer tagging

✍ Marlow, Simon; Yakushev, Alexey Rodriguez; Jones, Simon Peyton 📂 Article 📅 2007 🏛 ACM Press ⚖ 209 KB

[ACM Press the 2007 ACM SIGPLAN internat

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Extensible pattern matching via a lightweight language extension

✍ Syme, Don; Neverov, Gregory; Margetson, James 📂 Article 📅 2007 🏛 ACM Press ⚖ 251 KB

[ACM Press the 4th ACM SIGPLAN workshop

[ACM Press the 4th ACM SIGPLAN workshop - Freiburg, Germany (2007.10.04-2007.10.04)] Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming - CUFP '07 - Learning with F#

✍ Trelford, Phil 📂 Article 📅 2007 🏛 ACM Press ⚖ 95 KB

[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

[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