uelis

Munich

Pinned Repositories

AbstractTransformation
A prototype implementation of an inference algorithm for region types based on abstract transformations
Language:Java0 2 00
cbv2int
Language:OCaml0 2 00
Compiler
Reference implementations of compilers for LMU practical in Java, Rust and C++
Language:Java0 2 00
Compilerbau1819
Language:Java1 2 00
contextual
Semantical Analysis of Contextual Types
Language:Agda4 6 00
EmbASP-Java
A general framework for embedding Logic Programming in complex systems
Language:Java0 0 00
FSV
Materialen zur Vorlesung "Formale Spezifikation und Verifikation"
Language:Java0 2 00
intc
Int compiler
Language:OCaml5 4 00
IntML
Experimental IntML-Implementation
Language:OCaml13 2 00
modular
Implementation of modular translation for call-by-value PCF
Language:OCaml4 2 00

uelis's Repositories

uelis/IntML
Experimental IntML-Implementation
Language:OCaml13 2 00
uelis/intc
Int compiler
Language:OCaml5 4 00
uelis/contextual
Semantical Analysis of Contextual Types
Language:Agda4 6 00
uelis/modular
Implementation of modular translation for call-by-value PCF
Language:OCaml4 2 00
uelis/Compilerbau1819
Language:Java1 2 00
uelis/cbv2int
Language:OCaml0 2 00
uelis/Compiler
Reference implementations of compilers for LMU practical in Java, Rust and C++
Language:Java0 2 00
uelis/EmbASP-Java
A general framework for embedding Logic Programming in complex systems
Language:Java0 0 00
uelis/FSV
Materialen zur Vorlesung "Formale Spezifikation und Verifikation"
Language:Java0 2 00