PLMMS 2010 : Talk : Makarius Wenzel: Isabelle/ML vs. Isabelle/Scala

CICM → PLMMS 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