Write a Blog >>
GPCE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Wolfram Kahl

Registered user since Mon 16 Sep 2019

Name: Wolfram Kahl

Country: Canada

Affiliation: McMaster University

Personal website: https://www.cas.mcmaster.ca/~kahl/

Research interests: Software Correctness, Functional and Dependently-Typed Programming, Calculational Reasoning, Graph Transformation

Contributions

GPCE 2019Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track
Show activities from other conferences

SPLASH 2019-profile
View general profile