- Fix types allocation
- Get tests up to snuff ** Comparison of function calls between different languages and different types ** Comparison between twosome/si-coercions & si-coercions/se-coercions
- Implement Space inefficient coercions.
- Implement Twosome data representation for functions
- Implement Dyn specializations of apply/deref/assign
Latex Sage Advice $ $ inline math [ ] block math \begin{gather} \label \notag \ \end{gather} centered multiline math \begin{align} & \label \notag \ \end{align} horizontally alligned multiline math allign* gather* no labels
\begin{array} \end{array} multi collumn multiline math env
semantic package -- for inference rules mathpartir -- Isabelle uses this
consider counting instructions in addition to timing
-- single push for all benchmarks -- allow running individual pieces of the whole -- enable archiving intermediates and results for scientific reproducability -- Make extension straightforward -- adding New Benchmarks is adding the sources/inputs for the benchmark -- adding Analysis can be more involved
-- Parsec / Black Sholes -- RNRS / Ray -- RNRS / Fast Fourier Transform
-- Computer Language Benchmarks / fannkuch-redux -- Computer Language Benchmarks / Mandelbrot -- Computer Language Benchmarks / Spectral-Norm
[ ] fix letrec wadell [ ] fix letrec dybvig -- Closure Optimizations -- Cast Aware Constant Folding / Partial Evaluation
-- Unions -- Recursive Types