Masahiro Sakai

....? categorical programming category theory church compiler fusion generics gnome gobject haskell jit lambda linear types lldn llring llw matlab ml modal logic model checking montague grammar numerals optimization ruby theorem proving verification more…

....? categorical programming category theory church clr code generation compiler cpo fusion gc generics gnome gobject gtk haskell haskell2010 jit lambda linear types lldn llring llw matlab ml modal logic model checking montague grammar net numerals optimization parametric polymorphism pointer-analysis proofsummit ptq ruby theorem proving type-state vault verification …less