Published July 17, 2018
| Version v1
Poster
Open
Coq2Java : From MiniML to Java code. Formalization of a compiler
Authors/Creators
Files
2018_hpcs.pdf
Files
(225.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ed8fe01d9bccca271947909689c68fa7
|
225.7 kB | Preview Download |