https://rodrigogribeiro.github.io/posts/2014/07/developing-dependently-typed-programs-agda-1/ 2014-07-13T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2014/07/developing-dependently-typed-programs-agda-2/ 2014-07-13T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2014/08/maniac-spring/ 2014-08-11T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2015/02/maniac-spring-results/ 2015-02-21T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2015/04/new-blog-layout-kindle/ 2015-04-05T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2015/04/developing-dependently-typed-programs-agda-3/ 2015-04-17T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2016/01/understanding-category-theory-agda/ 2016-01-22T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2016/09/records-and-modules-in-agda/ 2016-09-05T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2018/01/intro-coq-parte1 2018-01-07T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/logic-in-coq 2018-01-09T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/inductive-types 2018-01-10T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/tactics 2018-01-11T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/dependent-types 2018-01-12T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/semantics 2018-01-13T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/typeclasses 2018-01-14T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/quickchick 2018-01-15T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/insertion-sort 2018-01-15T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/01/list-zipper-coq 2018-01-16T00:00:00-08:00 https://rodrigogribeiro.github.io/posts/2018/04/general-recursion 2018-04-03T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2018/06/coinduction 2018-06-05T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2018/06/monads 2018-06-06T00:00:00-07:00 https://rodrigogribeiro.github.io/posts/2019/02/linear-logic-syntax-coq 2019-02-28T00:00:00-08:00 https://rodrigogribeiro.github.io/projects/vergrep/ https://rodrigogribeiro.github.io/projects/vermedia/ https://rodrigogribeiro.github.io/publication/2005-01-01-metaj 2005-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2008-01-01-metajscql 2008-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2009-01-01-haskell-multi-param 2009-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2011-01-01-sat-tabu-timetabling 2011-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2011-01-02-sat-timetabling 2011-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2012-01-01-sat-ver-char 2012-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2013-01-01-Mechanized-metatheory-for-lambda-calculus-with-trust-types 2013-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2013-02-01-terminating-constraint-set 2013-02-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2013-03-01-ambiguity-context 2013-03-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2015-07-01-type-inference-gadt 2015-07-01T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2016-1-1-ambiguity-and-constrained-polymorphism 2016-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2016-07-01-Mechanized-textbook-proof-unification 2016-07-01T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2016-08-01-optional-type-classes 2016-08-01T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2016-08-02-certified-derivative-parsing 2016-08-02T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2016-08-03-partial-C 2016-08-03T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2017-09-21-bitregex 2017-09-21T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2017-09-22-hdrum 2017-09-22T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-01-01-Inference-static-semantics 2018-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/publication/2018-07-01-ritaFJ 2018-07-01T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-08-01-CLEIFJ 2018-07-01T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-08-02-GADT 2018-08-02T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-08-03-regexvm 2018-08-03T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-08-04-FJsemantics 2018-08-03T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-08-05-typedirectedFJ 2018-08-03T00:00:00-07:00 https://rodrigogribeiro.github.io/publication/2018-09-01-STM 2018-09-01T00:00:00-07:00 https://rodrigogribeiro.github.io/talks/2014-04-01-agda-talk 2014-04-01T00:00:00-07:00 https://rodrigogribeiro.github.io/talks/2015-07-22-unification 2015-09-22T00:00:00-07:00 https://rodrigogribeiro.github.io/talks/2017-09-21-bit-regex 2017-09-21T00:00:00-07:00 https://rodrigogribeiro.github.io/talks/2017-09-21-bit-regex 2018-01-19T00:00:00-08:00 https://rodrigogribeiro.github.io/talks/2018-09-20-regexvm 2018-09-20T00:00:00-07:00 https://rodrigogribeiro.github.io/teaching/2017-2-teaching-duties 2017-02-01T00:00:00-08:00 https://rodrigogribeiro.github.io/teaching/2018-1-teaching-duties 2018-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/teaching/2018-2-teaching-duties 2018-02-01T00:00:00-08:00 https://rodrigogribeiro.github.io/teaching/2019-1-teaching-duties 2019-01-01T00:00:00-08:00 https://rodrigogribeiro.github.io/teaching/2019-1-teaching-duties 2019-02-01T00:00:00-08:00 https://rodrigogribeiro.github.io/ https://rodrigogribeiro.github.io/archive-layout-with-content/ https://rodrigogribeiro.github.io/categories/ https://rodrigogribeiro.github.io/collection-archive/ https://rodrigogribeiro.github.io/cv/ https://rodrigogribeiro.github.io/markdown/ https://rodrigogribeiro.github.io/non-menu-page/ https://rodrigogribeiro.github.io/page-archive/ https://rodrigogribeiro.github.io/projects/ https://rodrigogribeiro.github.io/publications/ https://rodrigogribeiro.github.io/sitemap/ https://rodrigogribeiro.github.io/tags/ https://rodrigogribeiro.github.io/talkmap.html https://rodrigogribeiro.github.io/talks/ https://rodrigogribeiro.github.io/teaching/ https://rodrigogribeiro.github.io/terms/ https://rodrigogribeiro.github.io/year-archive/ https://rodrigogribeiro.github.io/markdown_generator/ https://rodrigogribeiro.github.io/files/CLEIFJ.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/FJsemantics.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/GADT18.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/agda-talk.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/ambiguity-context.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/ambiguity.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/bitcodestalk.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/bitregex.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/boost-stm.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/decidable-sat.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/gadt.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/hdrum.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/inferenceC.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/metaj.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/metajscql.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/multiparam.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/optional.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/partial-c.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/regex.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/regexvm-paper.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/regexvm-report.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/regexvm-talk.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/ritaFJ.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/sattabutimetabling.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/sattimetabling.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/satverchar.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/trust.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/typedirectedFJ.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/unify.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/unifytalk.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/files/verificacao-talk.pdf 2019-08-20T11:01:17-07:00 https://rodrigogribeiro.github.io/talkmap/map.html 2019-08-20T11:01:17-07:00