Lars Hupel

 

Website: https://www21.in.tum.de/~hupel/

 

Entries

2020

March 7: Hello World

 

2019

July 8: A Verified Code Generator from Isabelle/HOL to CakeML

January 15: An Algebra for Higher-Order Terms

 

2018

November 6: Deriving generic class instances for datatypes

March 12: CakeML

 

2017

May 24: Dictionary Construction

April 19: Constructor Functions

April 18: Lazifying case constants

 

2016

September 9: Iptables Semantics

June 28: IP Addresses

April 27: Algorithms for Reduced Ordered Binary Decision Diagrams

 

2014

February 13: Properties of Random Graphs -- Subgraph Containment