Add phantom contracts poster

_site/essays/2013-05-21-literate-urweb-adventure.html

@@ -29,7 +29,7 @@ <h2>A Literate Ur/Web Adventure</h2>
 <p>by <em>Daniel Patterson</em> on <strong>May 21, 2013</strong></p>
 
 <p><a href="http://www.impredicative.com/ur/">Ur/Web</a> is a language / framework for web programming that both makes it really hard to write code with bugs / vulnerabilities and also makes it really easy to write reactive, client-side code, all from a single, simple, codebase. But it is built on some pretty deep type theory, and while it is an incredibly practical research project, some corners of it still show - like error messages that scroll pages off the screen. I’ve experimented with it before, and have written a small application that is beyond a demo, but still small enough to be digestible.</p>
-<p>For completeness and clarity, I present it here in complete literate style - all the files, interspersed with comments, are presented. They are split into sections by file, which are named in headings. All the text between the file name and the next file name that is not actual code is within comments (that is what the <code>#</code>, <code>(*</code> and <code>*)</code> are for), so you can copy the whole thing to the files and build the project. All the files should go into a single directory. It builds with the current version of Ur/Web. You can try out the application, as it currently exists (which might have been changed since writing this), at <a href="http://lab.dbpmail.net/dn">lab.dbpmail.net/dn</a>. The full source, with history, is available at <a href="http://hub.darcs.net/dbp/dnplayer">hub.darcs.net/dbp/dnplayer</a>.</p>
+<p>For completeness and clarity, I present it here in complete literate style - all the files, interspersed with comments, are presented. They are split into sections by file, which are named in headings. All the text between the file name and the next file name that is not actual code is within comments (that is what the <code>#</code>, <code>(*</code> and <code>*)</code> are for), so you can copy the whole thing to the files and build the project. All the files should go into a single directory. It builds with the current version of Ur/Web. You can try out the application, as it currently exists (which might have been changed since writing this), at <a href="http://lab.dbpmail.net/dn">lab.dbpmail.net/dn</a>. The full source, with history, is available at <a href="https://github.com/dbp/dnplayer">github.com/dbp/dnplayer</a>.</p>
 <p>The application is a video player for the daily news program <a href="http://democracynow.org">Democracy Now!</a>. The main point of it is to remember where in the show you are, so you can stop and resume it, across devices. It should work on desktop and mobile applications - I have targetted Chrome on Android, Chrome on computers, and Safari on iPhones/iPads. The main reason for not supporting Firefox is that it does not support the (proprietary) video/audio codecs that are the only format that Democracy Now! provides.</p>
 <h2 id="dn.urp">dn.urp</h2>
 <pre><code># .urp files are project files, which describe various meta-data about

_site/index.html

@@ -34,7 +34,7 @@ <h3 id="publications">Publications</h3>
 <div class="pubs">
 <a href="./pubs/2018/phantom-contracts-src.pdf"><strong>Phantom Contracts for Better Linking.</strong></a>
 <div class="desc">
-Daniel Patterson. <br /><em>POPL 2019 Student Research Competition</em>. <a href="./pubs/2018/phantom-contracts-src.pdf">Extended abstract</a>.
+Daniel Patterson. <br /><em>POPL 2019 Student Research Competition</em>. <a href="./pubs/2018/phantom-contracts-src.pdf">Extended abstract</a> and <a href="./posters/phantom-contracts-popl2019-src.pdf">poster</a>.
 </div>
 <a href="./pubs/2018/rust-distilled.pdf"><strong>Rust Distilled: An Expressive Tower of Languages.</strong></a>
 <div class="desc">

_site/rss.xml

@@ -869,7 +869,7 @@ add_header all Status _YESNO_, score=_SCORE_ required=_REQD_ tests=_TESTS_ autol
 <p>by <em>Daniel Patterson</em> on <strong>May 21, 2013</strong></p>
 
 <p><a href="http://www.impredicative.com/ur/">Ur/Web</a> is a language / framework for web programming that both makes it really hard to write code with bugs / vulnerabilities and also makes it really easy to write reactive, client-side code, all from a single, simple, codebase. But it is built on some pretty deep type theory, and while it is an incredibly practical research project, some corners of it still show - like error messages that scroll pages off the screen. I’ve experimented with it before, and have written a small application that is beyond a demo, but still small enough to be digestible.</p>
-<p>For completeness and clarity, I present it here in complete literate style - all the files, interspersed with comments, are presented. They are split into sections by file, which are named in headings. All the text between the file name and the next file name that is not actual code is within comments (that is what the <code>#</code>, <code>(*</code> and <code>*)</code> are for), so you can copy the whole thing to the files and build the project. All the files should go into a single directory. It builds with the current version of Ur/Web. You can try out the application, as it currently exists (which might have been changed since writing this), at <a href="http://lab.dbpmail.net/dn">lab.dbpmail.net/dn</a>. The full source, with history, is available at <a href="http://hub.darcs.net/dbp/dnplayer">hub.darcs.net/dbp/dnplayer</a>.</p>
+<p>For completeness and clarity, I present it here in complete literate style - all the files, interspersed with comments, are presented. They are split into sections by file, which are named in headings. All the text between the file name and the next file name that is not actual code is within comments (that is what the <code>#</code>, <code>(*</code> and <code>*)</code> are for), so you can copy the whole thing to the files and build the project. All the files should go into a single directory. It builds with the current version of Ur/Web. You can try out the application, as it currently exists (which might have been changed since writing this), at <a href="http://lab.dbpmail.net/dn">lab.dbpmail.net/dn</a>. The full source, with history, is available at <a href="https://github.com/dbp/dnplayer">github.com/dbp/dnplayer</a>.</p>
 <p>The application is a video player for the daily news program <a href="http://democracynow.org">Democracy Now!</a>. The main point of it is to remember where in the show you are, so you can stop and resume it, across devices. It should work on desktop and mobile applications - I have targetted Chrome on Android, Chrome on computers, and Safari on iPhones/iPads. The main reason for not supporting Firefox is that it does not support the (proprietary) video/audio codecs that are the only format that Democracy Now! provides.</p>
 <h2 id="dn.urp">dn.urp</h2>
 <pre><code># .urp files are project files, which describe various meta-data about

index.markdown

@@ -10,8 +10,7 @@ The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">d
 <div class="pubs">
 
 [**Phantom Contracts for Better Linking.**](/pubs/2018/phantom-contracts-src.pdf)
-<div class="desc">Daniel Patterson. <br/>_POPL 2019 Student Research Competition_. [Extended abstract](/pubs/2018/phantom-contracts-src.pdf).</div>
-
+<div class="desc">Daniel Patterson. <br/>_POPL 2019 Student Research Competition_. [Extended abstract](/pubs/2018/phantom-contracts-src.pdf) and [poster](/posters/phantom-contracts-popl2019-src.pdf).</div>
 
 [**Rust Distilled: An Expressive Tower of Languages.**](/pubs/2018/rust-distilled.pdf)
 <div class="desc">Aaron Weiss, Daniel Patterson, and Amal Ahmed. <br/>_ML 2018_. [PDF](/pubs/2018/rust-distilled.pdf).</div>