https://agomezl.refl.xyz/notes/quick-vnc-setup 2018-06-08T00:00:00+02:00 https://agomezl.refl.xyz/404 https://agomezl.refl.xyz/about https://agomezl.refl.xyz/blog https://agomezl.refl.xyz/ https://agomezl.refl.xyz/slides/css/theme/ https://agomezl.refl.xyz/slides/plugin/external/ https://agomezl.refl.xyz/cv/AlejandroGomezLondonoCV.pdf 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/Data-Proof.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/Data-TSTP.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/T2A-Core.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/T2A-Tactics.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/T2A.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/TSTP.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/Util.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-58.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-A.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-All.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-B.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-C.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-D.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-E.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-F.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-G.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-H.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-I.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-L.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-N.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-P.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-Q.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-R.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-S.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-T.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-U.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-V.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index-W.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/doc-index.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/frames.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/index-frames.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/ 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_Data-Proof.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_Data-TSTP.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_T2A-Core.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_T2A-Tactics.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_T2A.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_TSTP.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/doc/html/tstp2agda/mini_Util.html 2024-09-09T18:15:56+02:00 https://agomezl.refl.xyz/slides/demo.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/ 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/pdf/Idris.pdf 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/pdf/erlang.pdf 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/plugin/notes/speaker-view.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/ACL2.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/ACL2/ACL2.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/BMW.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Follow-up.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Follow-up/choreographies.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Follow-up/data-cost.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Follow-up/flat-cost.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/IFL2021.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/IFL2021/extras.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/IFL2021/intro.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/ITP2022.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/ITP2022/extra.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/ITP2022/kalas.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic/choreographies.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic/data-cost.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic/misc.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic/motivation.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/Lic/summary.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/OOPSLA2020-script.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/OOPSLA2020.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/OOPSLA2020/space-for-dessert.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/P2T.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/POP.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/POP/cost.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/POP/intro.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/POP/kalas.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/PhD.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/PhD/cost.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/PhD/intro.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/PhD/kalas.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/SL.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/SL/SL.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/SL/intro.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/SL/spacelang.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/abuelo88.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/demo.html 2024-09-09T18:15:57+02:00 https://agomezl.refl.xyz/slides/src/template.html 2024-09-09T18:15:57+02:00