https://dcastrop.github.io/portfolio/portfolio-1/ https://dcastrop.github.io/portfolio/portfolio-2/ https://dcastrop.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+01:00 https://dcastrop.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+01:00 https://dcastrop.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+01:00 https://dcastrop.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+01:00 https://dcastrop.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://dcastrop.github.io/publication/2010-prole https://dcastrop.github.io/publication/2011-prole https://dcastrop.github.io/publication/2016-erlang https://dcastrop.github.io/publication/2016-ifcp https://dcastrop.github.io/publication/2018-castro-thesis https://dcastrop.github.io/publication/2018-fcgs-automatically https://dcastrop.github.io/publication/2019-popl-distributed https://dcastrop.github.io/publication/2020-cc-compiling https://dcastrop.github.io/publication/2020-oopsla-camp https://dcastrop.github.io/publication/2020-tacas-emtst https://dcastrop.github.io/publication/2021-pldi-zooid https://dcastrop.github.io/publication/2023-ecoop-dynamically https://dcastrop.github.io/publication/2025-itp-hylomorphisms https://dcastrop.github.io/publication/2026-popl-synthetic https://dcastrop.github.io/talks/2024-04-08-PLAS-coq-hylomorphisms/ 2024-04-08T00:00:00+01:00 https://dcastrop.github.io/talks/2024-05-02-Tallinn-coq-hylomorphisms/ 2024-05-02T00:00:00+01:00 https://dcastrop.github.io/talks/2024-12-05-PLAS-synthetic-mpst/ 2024-12-10T00:00:00+00:00 https://dcastrop.github.io/talks/2026-01-19-PLAS-synthetic-mpst/ 2026-01-19T00:00:00+00:00 https://dcastrop.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+00:00 https://dcastrop.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+00:00 https://dcastrop.github.io/ https://dcastrop.github.io/ https://dcastrop.github.io/archive-layout-with-content/ https://dcastrop.github.io/categories/ https://dcastrop.github.io/collection-archive/ https://dcastrop.github.io/cv/ https://dcastrop.github.io/markdown/ https://dcastrop.github.io/non-menu-page/ https://dcastrop.github.io/page-archive/ https://dcastrop.github.io/portfolio/ https://dcastrop.github.io/publications/ https://dcastrop.github.io/research/ https://dcastrop.github.io/sitemap/ https://dcastrop.github.io/tags/ https://dcastrop.github.io/talkmap.html https://dcastrop.github.io/talks/ https://dcastrop.github.io/teaching/ https://dcastrop.github.io/terms/ https://dcastrop.github.io/year-archive/ https://dcastrop.github.io/assets/reveal.js/examples/markdown/ https://dcastrop.github.io/assets/reveal.js/test/simple/ https://dcastrop.github.io/assets/reveal.js/css/theme/ https://dcastrop.github.io/markdown_generator/ https://dcastrop.github.io/assets/reveal.js/demo.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/500-slides.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/auto-animate.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/backgrounds.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/barebones.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/layout-helpers.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/markdown.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/math.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/media.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/multiple-presentations.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/scroll.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/examples/transitions.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/ 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/plugin/notes/speaker-view.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-auto-animate.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-dependencies-async.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-dependencies.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-grid-navigation.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-iframe-backgrounds.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-iframes.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-markdown.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-multiple-instances-es5.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-multiple-instances.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-pdf.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-plugins.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-scroll.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test-state.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/assets/reveal.js/test/test.html 2026-01-18T18:38:35+00:00 https://dcastrop.github.io/files/2011-prole-mcerlang.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2014-post-compiling.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2016-erlang-towards.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2016-icfp-farms.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2018-castro-thesis.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2018-fcgs-automatically.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2019-popl-distributed.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2020-cc-compiling.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2020-oopsla-camp.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2020-tacas-emtst.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2021-pldi-zooid.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2023-ecoop-dynamically.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2024-coq-hylos.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2025-itp-hylomorphisms.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/files/2026-popl-synthetic.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/talkmap/map.html 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-coq-hylomorphisms/figures/types-of-parahylos-crop.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-coq-hylomorphisms/slides.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/MPST1.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/MPST2.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/MPST3.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/MPST4.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/MPST5.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/deconfined-session-types.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/fs-synthetic.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/less-is-more-revisite.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/less-is-more-revisited.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/figures/less-is-more.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2024-synthetic-mpst/slides.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2025-ITP/figures/types-of-parahylos-crop.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2025-ITP/slides.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/images/MPST.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/images/deconfined-session-types.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/images/fs-synthetic.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/images/less-is-more-revisited.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/images/less-is-more.pdf 2026-01-18T18:38:34+00:00 https://dcastrop.github.io/tex/2026-synthetic-mpst/slides.pdf 2026-01-18T18:38:34+00:00