EasyChair Smart SlideDocs/Log in
Author: David Sabel

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

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

David Sabel and Manfred Schmidt-Schauss

Automating the Diagram Method to Prove Correctness of Program Transformations

Automating the Diagram Method to Prove Correctness of Program Transformations

David Sabel

Nominal Unification with Atom and Context Variables

Nominal Unification with Atom and Context Variables

Manfred Schmidt-Schauss and David Sabel

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