https://hde.design/2025-12-08T00:00:00+00:00https://hde.design/academic/2025-12-08T00:00:00+00:00https://hde.design/academic/activity/2025-12-08T00:00:00+00:00https://hde.design/academic/activity/2025-11-20-servant/2025-12-08T00:00:00+00:00https://hde.design/academic/activity/2023-tyde23/2023-08-31T00:00:00+00:00https://hde.design/tags/blue/2023-03-15T11:00:00-07:00https://hde.design/tags/green/2023-03-15T11:00:00-07:00https://hde.design/posts/post-3/2023-03-15T11:00:00-07:00https://hde.design/tags/red/2023-03-15T11:00:00-07:00https://hde.design/tags/2023-03-15T11:00:00-07:00https://hde.design/academic/activity/2023-wish23/2023-02-24T00:00:00+00:00https://hde.design/posts/post-2/2023-02-15T10:00:00-07:00https://hde.design/posts/post-1/2023-01-15T09:00:00-07:00https://hde.design/posts/2023-01-01T08:30:00-07:00https://hde.design/academic/activity/2021-esop/2021-03-23T00:00:00+00:00https://hde.design/academic/activity/2021-popl/2020-12-20T00:00:00+00:00https://hde.design/academic/activity/2020-tyde/2020-08-23T00:00:00+00:00https://hde.design/academic/activity/2020-linearity-tlla/2020-06-29T00:00:00+00:00https://hde.design/academic/activity/2020-linearity-tlla-lambek/2020-06-29T00:00:00+00:00https://hde.design/academic/activity/2020-msfp/2020-03-30T00:00:00+00:00https://hde.design/academic/activity/2020-cmu-talk/2020-01-01T00:00:00+00:00https://hde.design/academic/activity/2016-ll/2020-01-01T00:00:00+00:00https://hde.design/academic/activity/2019-icfp/2019-08-18T00:00:00+00:00https://hde.design/academic/activity/2018-05-10-from-sped-to-prof/2019-08-02T00:00:00+00:00https://hde.design/academic/activity/2019-linearity-proceedings/2019-04-15T00:00:00+00:00https://hde.design/academic/activity/2018-gramsec/2018-07-29T00:00:00+00:00https://hde.design/academic/activity/2018-linearity/2018-07-07T00:00:00+00:00https://hde.design/academic/activity/2018-obt/2018-01-13T00:00:00+00:00https://hde.design/academic/activity/2018-lfcs/2018-01-08T00:00:00+00:00https://hde.design/academic/activity/2018-plas-kent-talk/2018-01-01T00:00:00+00:00https://hde.design/academic/activity/2017-tlla/2017-07-31T00:00:00+00:00https://hde.design/academic/activity/2016-asl/2017-04-15T00:00:00+00:00https://hde.design/academic/activity/2017-ifcolog/2017-02-01T00:00:00+00:00https://hde.design/academic/activity/2014-lmcs/2016-08-15T00:00:00+00:00https://hde.design/academic/activity/2016-lfcs/2016-01-04T00:00:00+00:00https://hde.design/academic/activity/2016-ia-colloquium-talk/2016-01-01T00:00:00+00:00https://hde.design/academic/activity/2016-lfcs-talk/2016-01-01T00:00:00+00:00https://hde.design/academic/activity/2016-gasouthern-colloquium-talk/2016-01-01T00:00:00+00:00https://hde.design/academic/activity/2015-cade/2015-08-17T00:00:00+00:00https://hde.design/academic/activity/2015-eps2/2015-08-01T00:00:00+00:00https://hde.design/academic/activity/2015-eps3/2015-08-01T00:00:00+00:00https://hde.design/academic/activity/2015-eps1/2015-08-01T00:00:00+00:00https://hde.design/academic/activity/2014-thesis/2014-08-01T00:00:00+00:00https://hde.design/academic/activity/2014-clc-talk/2014-01-01T00:00:00+00:00https://hde.design/academic/activity/2013-cos/2013-09-04T00:00:00+00:00https://hde.design/academic/activity/2013-cos-ea/2013-09-04T00:00:00+00:00https://hde.design/academic/activity/2013-mvd/2013-09-01T00:00:00+00:00https://hde.design/academic/activity/2013-pi/2013-03-01T00:00:00+00:00https://hde.design/academic/activity/2013-ims-talk/2013-01-01T00:00:00+00:00https://hde.design/academic/activity/2012-types/2012-09-12T00:00:00+00:00https://hde.design/academic/activity/2012-pxtp/2012-06-30T00:00:00+00:00https://hde.design/academic/activity/2012-msfp/2012-06-25T00:00:00+00:00https://hde.design/academic/activity/2012-plpv/2012-01-24T00:00:00+00:00https://hde.design/academic/activity/2012-penn-pl-club-talk/2012-01-01T00:00:00+00:00https://hde.design/academic/activity/2012-trellys-talk/2012-01-01T00:00:00+00:00https://hde.design/academic/activity/2012-clc-talk/2012-01-01T00:00:00+00:00https://hde.design/academic/activity/2011-mvd-talk/2011-01-01T00:00:00+00:00https://hde.design/academic/activity/2010-pstt/2010-07-15T00:00:00+00:00https://hde.design/academic/activity/2009-rose/2009-01-04T00:00:00+00:00https://hde.design/academic/blog/https://hde.design/coaching/https://hde.design/coaching/blog/https://hde.design/categories/