Wolfram Kahl

Registered user since Mon 16 Sep 2019

Name:Wolfram Kahl
Affiliation:McMaster University
Research interests:Software Correctness, Functional and Dependently-Typed Programming, Calculational Reasoning, Graph Transformation


ICGT 2023 Committee Member in Program Committee within the Research Papers-track
GPCE 2019 Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track