Ivory language: an eDSL for safe systems programming from Galoishttp://smaccmpilot.org/languages/ivory-introduction.html by cju • 13 years ago 1 0 13 years agoSMsmaccmpilot.org