/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 kristerw.github.io
Branch/cmove and compiler optimizations - Krister Walfridsson's blog - Compilers, programming languages, etc.
| | www.ralfj.de
Undefined Behavior deserves a better reputation
4.9 parsecs away

Travel
| | This is a cross-post of an article that I wrote for the SIGPLAN blog. "Undefined Behavior" often has a bad reputation. People see it as an excuse compiler writers use to break code, or an ...
| | kristerw.blogspot.com
Krister Walfridsson's old blog: How undefined signed overflow enables optimizations in GCC
2.4 parsecs away

Travel
| | Signed integers are not allowed to overflow in C and C++, and this helps compilers generate better code. I was interested in how GCC is tak...
| | blog.yossarian.net
Understanding static single assignment forms
4.0 parsecs away

Travel
| |
| | web.cecs.pdx.edu
Functional Programming with Overloading and Higher-Order Polymorphism
18.9 parsecs away

Travel
| [AI summary] This academic paper discusses extensions to the Hindley/Milner type system, focusing on higher-order polymorphism and type overloading to improve modularity and reusability in functional programming languages.