Pinned Loading

1. modular modular Public

   Implementation of modular translation for call-by-value PCF

   OCaml 4

2. intc intc Public

   Int compiler

   OCaml 5

3. IntML IntML Public

   Experimental IntML-Implementation

   OCaml 13

4. contextual contextual Public

   Semantical Analysis of Contextual Types

   Agda 4 1

5. Compiler Compiler Public

   Reference implementations of compilers for LMU practical in Java, Rust and C++

   Java

6. FSV FSV Public

   Materialen zur Vorlesung "Formale Spezifikation und Verifikation"

   Java