TY - RPRT TI - A dynamic, dependent type system for nuclear fuel cycle code generation AU - Scopatz, A. PY - 2013 UR - https://www.osti.gov/biblio/22264206 ID - 22264206 ER -