Hiromi Ishii

haskell development math mathematical logic functional programming mathematics descriptive set theory measure theory computational algebra web yesod programming template haskell combinator calculus combinatory logic computation lambda calculus computability theory sk-calculus recursion theory event handlers extensible effects ppl2016 monad monad transformers ppl algebraic effects effect system foundations analysis 記述集合論 set theory 測度論 数理論理学 集合論 確率論 数学 epub pandoc 電子書籍 technology groebner basis computer science algebraic dynamic programming algorithm method dynamic programming dp pfiseminar techtalk type ghc 形式手法 alloy analyzer formal methods seminar intern pfi generic programming syb functional instant-generics programming th haskell functional mystery arts crime