https://pinboard.in/u:wagerlabs/public/ recent bookmarks from wagerlabs 2017-08-26T06:08:32+00:00 http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html wagerlabscoq haskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:41ded474aa08/ 2011-01-05T20:31:44+00:00 http://www.cs.uoregon.edu/Activities/summerschool/summer10/curriculum.html wagerlabscoq programming lectures compilers https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:9cfcf41e5a05/ 2008-01-29T09:32:41+00:00 http://lambda-the-ultimate.org/node/2638 wagerlabscoq functional compilers https://pinboard.in/u:wagerlabs/b:a2ef4b2722a8/ 2007-12-06T13:24:49+00:00 http://www.cis.upenn.edu/~plclub/popl08-tutorial/ wagerlabscoq https://pinboard.in/u:wagerlabs/b:d006fee120c8/ 2007-05-29T14:51:18+00:00 http://pauillac.inria.fr/~xleroy/compcert-backend/ wagerlabscoq compilers https://pinboard.in/u:wagerlabs/b:bcec765d8261/ 2007-05-29T12:46:12+00:00 http://lambda-the-ultimate.org/node/1610#comment-19544 wagerlabscoq compilers https://pinboard.in/u:wagerlabs/b:5d1786b182ab/ 2007-05-29T12:14:14+00:00 http://ltamer.sourceforge.net/ wagerlabscoq compilers assembler https://pinboard.in/u:wagerlabs/b:652a7c4ecd40/ 2007-05-29T11:40:47+00:00 http://lambda-the-ultimate.org/node/1760 wagerlabscoq compilers types https://pinboard.in/u:wagerlabs/b:6a57f4cbc437/ 2007-05-29T11:39:23+00:00 http://lambda-the-ultimate.org/node/2146 wagerlabscoq compilers lambda-calculus https://pinboard.in/u:wagerlabs/b:db9fe762b2a5/ 2007-05-25T10:49:51+00:00 http://www.alpheccar.org/en/posts/show/70 wagerlabsfunctional compilers coq types https://pinboard.in/u:wagerlabs/b:ee8af6080d8b/