## Homepages 🌐

- https://lars.hupel.info/

## E-Mails 📧

- ofni.lepuh @sral

## Entries

### 2024

##### Go Code Generation for Isabelle

by Terru Stübinger 🌐 and Lars Hupel 🌐
Jan 22

### 2023

##### Fixed-length vectors

by Lars Hupel 📧
Aug 14

### 2020

##### Hello World

by Cornelius Diekmann 🌐 and Lars Hupel 🌐
Mar 07

### 2019

##### A Verified Code Generator from Isabelle/HOL to CakeML

by Lars Hupel 🌐
Jul 08

##### An Algebra for Higher-Order Terms

by Lars Hupel 🌐
Jan 15

### 2018

##### Deriving generic class instances for datatypes

by Jonas Rädle 📧 and Lars Hupel 🌐
Nov 06

##### CakeML

by Lars Hupel 🌐 and Yu Zhang
Mar 12

### 2017

##### Dictionary Construction

by Lars Hupel 🌐
May 24

##### Constructor Functions

by Lars Hupel 🌐
Apr 19

##### Lazifying case constants

by Lars Hupel 🌐
Apr 18

### 2016

##### Iptables Semantics

by Cornelius Diekmann 🌐 and Lars Hupel 🌐
Sep 09

##### IP Addresses

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Lars Hupel 🌐
Jun 28

##### Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis 🌐, Max W. Haslbeck 🌐, Peter Lammich 🌐 and Lars Hupel 🌐
Apr 27

### 2014

##### Properties of Random Graphs -- Subgraph Containment

by Lars Hupel 🌐
Feb 13