https://skeuchel.github.io/publication/2012-draft-modular-monadic-reasoning-a-coroutine 2012-08-17T00:00:00-07:00 https://skeuchel.github.io/publication/2012-wgp-generic-conversions-of-abstract-syntax 2012-09-09T00:00:00-07:00 https://skeuchel.github.io/publication/2013-wgp-generic-datatypes-a-la-carte 2013-09-08T00:00:00-07:00 https://skeuchel.github.io/publication/2013-icfp-modular-monadic-metatheory 2013-09-25T00:00:00-07:00 https://skeuchel.github.io/publication/2014-draft-infragen-binder-boilerplate-at-scale 2014-07-08T00:00:00-07:00 https://skeuchel.github.io/publication/2015-draft-inbound-simple-yet-powerful-specification-of-syntax-with-binders 2015-02-28T00:00:00-08:00 https://skeuchel.github.io/publication/2016-esop-needle-and-knot-binder-boilerplate-tied-up 2016-09-08T00:00:00-07:00 https://skeuchel.github.io/publication/2016-esop-needle-and-knot-binder-boilerplate-tied-up 2016-09-08T00:00:00-07:00 https://skeuchel.github.io/publication/2017-lmcs-modular-fullyabstract-compilation-by-approximate-backtranslation 2017-10-25T00:00:00-07:00 https://skeuchel.github.io/publication/2018-reusability-for-mechanized-metatheory 2018-06-02T00:00:00-07:00 https://skeuchel.github.io/ https://skeuchel.github.io/publications/ https://skeuchel.github.io/teaching/ https://skeuchel.github.io/files/2018-skeuchel-reusability-for-mechanized-metatheory.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/TableFeverVoucher.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2012-draft-modular-monadic-reasoning-a-coroutine.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2012-wgp-generic-conversions-of-abstract-syntax.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2013-icfp-modular-monadic-metatheory.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2013-wgp-generic-datatypes-a-la-carte.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2014-draft-infragen-binder-boilerplate-at-scale.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2015-draft-inbound-simple-yet-powerful-specification-of-syntax-with-binders.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2016-esop-needle-and-knot-binder-boilerplate-tied-up.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2017-06-draft-popl-needle-and-knot-binder-boilerplate-bound-tighter.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2017-10-draft-esop-needle-and-knot-binder-boilerplate-bound-tighter.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/papers/2017-lmcs-modular-fullyabstract-compilation-by-approximate-backtranslation.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/talks/applicativeeffects.pdf 2026-08-14T11:36:09-07:00 https://skeuchel.github.io/files/talks/efficienthandlers.pdf 2026-08-14T11:36:09-07:00