Travelled to:1 × United Kingdom
Collaborated with:R.Clouston A.Bizjak L.Birkedal B.Spitters A.Vezzosi
Talks about:guard (3) recurs (2) type (2) coinduct (1) program (1) theori (1) reason (1) equal (1) cubic (1) path (1)
Person: Hans Bugge Grathwohl
DBLP: Grathwohl:Hans_Bugge
Contributed to:
2015
2016Wrote 2 papers:
- FoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion
- Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
- CSL-2016-BirkedalBCGSV #recursion #similarity #type system
- Guarded Cubical Type Theory: Path Equality for Guarded Recursion (LB, AB, RC, HBG, BS, AV), p. 17.