London

Josef Svenningsson

Advanced
@josefs
josefs.github.io/

Gradualizer. A Gradual type system for Erlang

619

STMonadTrans. Haskell

12

DSL-tutorial. Haskell

6

CodeExtract. Haskell

3

pandoc. Universal markup converter

2

erlang-mocking. Experiments with mocking libraries in Erlang

2

AbstractingDefinitionalInterpreters. A Haskell transliteration of the paper Abstracting Definitional Interpreters

1

scheme48. A scheme implementation

1

change-actions. Haskell

1

reify. Exporing various ways to do monadic reification

1

deep-shallow-paper. Haskell

1

sbv. Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

1

LL. Linear Logic and Resource-Aware Functional Programming

1

lte-benchmark-code. C

1

LambdaQuoter. Haskell

1
15
Apply