Pinned Repositories
AbstractingDefinitionalInterpreters
A Haskell transliteration of the paper Abstracting Definitional Interpreters
change-actions
CodeExtract
deep-shallow-paper
DSL-tutorial
erlang-mocking
Experiments with mocking libraries in Erlang
Gradualizer
A Gradual type system for Erlang
LambdaQuoter
pandoc
Universal markup converter
STMonadTrans
josefs's Repositories
josefs/reify
Exporing various ways to do monadic reification
josefs/CodeExtract
josefs/LL
Linear Logic and Resource-Aware Functional Programming
josefs/DSL-tutorial