Report - The languages of Isabelle: Isar, ML, and Scalawenzelm/papers/lausanne2009.pdf · Isar, ML, and Scala Makarius Wenzel TU Munchen¨ September 2009 l ® " Isabelle = b a Isar. Abstract

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form