References

This is a list of references/background reading.

Floating point:

• IEEE-754-1985
• IEEE-754-2008
• Figueroa: A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages
• Borneo Language
• Consistency: how to defeat the purpose of IEEE floating point

Multi-stage:

• MetaML

Module resolution:

• Modules in node.js
• Python virtualenv
• import in python
• Require in lua