EasyChair Smart SlideUser guide
Author: Andreas Lochbihler

This page shows all presentations of this author published in EasyChair Smart Slide.

Lazy Algebraic Types in Isabelle/HOL

Lazy Algebraic Types in Isabelle/HOL

Andreas Lochbihler and Pascal Stoop

Fast Machine Words in Isabelle/HOL

Fast Machine Words in Isabelle/HOL

Andreas Lochbihler

Relational Parametricity and Quotient Preservation for Modular (Co)datatypes

Relational Parametricity and Quotient Preservation for Modular (Co)datatypes

Andreas Lochbihler and Joshua Schneider

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair