CICMPLMMS 2010 → Makarius Wenzel: Isabelle/ML vs. Isabelle/Scala

PLMMS 2010: Programming Languages for Mechanized Mathematics Systems


go back to PLMMS programme

Isabelle/ML vs. Isabelle/Scala

Makarius Wenzel

See http://www4.in.tum.de/~wenzelm/papers/isabelle-scala-2009.pdf and http://www4.in.tum.de/~wenzelm/papers/lausanne2009.pdf