- 20:37 [+03:00 Moscow]
- Russian Federation
- Keldysh Institute of Applied Mathematics
Sergei Romanenko's public projects
A simple supercompiler written in Scala and other languages.
Experiments with the code accompanying "From Math to Machine: A formal derivation of an executable Krivine machine" by Wouter Swierstra.