Lars Hupel
2020
2019
A Verified Code Generator from Isabelle/HOL to CakeML
by Lars Hupel
2018
Deriving generic class instances for datatypes
by Jonas Rädle and Lars Hupel
CakeML
by Lars Hupel and Yu Zhang
2017
2016
IP Addresses
by Cornelius Diekmann, Julius Michaelis and Lars Hupel
Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich and Lars Hupel
2014
Properties of Random Graphs -- Subgraph Containment
by Lars Hupel