JIT adt control flow dependent types haskell introduction language design monads nlp real world spécifications type system
ML PoS SMT abstract machines algèbre universelle arrows categories catégories clocks comonads complexity computational geometry concurrency continuation continuations contracts coq coroutines data processing dataflow delimited continuations discrete mathematics distributed dsl dynamic language semantics dynamic typing effects entropy error handling esquisses formal proof graph theory history image processing interface language implementation language tower logique ocaml optimization pixelart polymorphism poo processes proof assistant python queries scheme scripting language security simulation sociology speech state svm syntax verification virtual machines yield