Pinned Loading

1. mt mt Public

   Master thesis on developing a static type checker for Erlang

   Erlang 27 1

2. k k Public

   Meta-theory and normalization for Fitch-style modal lambda calculi

   Agda 18 2

3. nbe-edsl nbe-edsl Public

   Normalization by Evaluation for Embedded Domain-specific Languages

   Haskell 31 1

4. expelim expelim Public

   Exponential Elimination for Categorical Combinators

   Agda 10

5. gluetn gluetn Public

   Normalization for Gödel's system T using a glueing model construction

   Agda 8 2