diff --git a/index.md b/index.md
index fcca126..5980c36 100644
--- a/index.md
+++ b/index.md
@@ -130,6 +130,15 @@ site.baseurl }}/papers/conversational-concurrency-201712310922.pdf);
 
 ## Papers
 
+<a href="{{ site.baseurl }}/papers/cgjf-jfp20.pdf"><img class="leftfloat" src="{{ site.baseurl }}/img/pdf_icon_gen_48x49.png"></a>
+Sam Caldwell, Tony Garnock-Jones, and Matthias Felleisen,
+[“Typed Dataspace Actors”]({{ site.baseurl }}/papers/cgjf-jfp20.pdf),
+Journal of Functional Programming, volume 30, E27, August 2020.
+([PDF]({{ site.baseurl }}/papers/cgjf-jfp20.pdf);
+[DOI](https://doi.org/10.1017/S0956796820000246))
+
+<div class="clear"></div>
+
 <a href="{{ site.baseurl }}/papers/from-events-to-reactions-a-progress-report-20160301-1747.pdf"><img class="leftfloat" src="{{ site.baseurl }}/img/pdf_icon_gen_48x49.png"></a>
 Tony Garnock-Jones, [“From Events To Reactions: A Progress Report”]({{
 site.baseurl
diff --git a/papers/cgjf-jfp20.pdf b/papers/cgjf-jfp20.pdf
new file mode 100644
index 0000000..f9aea07
Binary files /dev/null and b/papers/cgjf-jfp20.pdf differ