Lars Hupel

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