summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Bracht Laumann Jespersen <t@laumann.xyz>2022-09-19 20:18:01 +0200
committerThomas Bracht Laumann Jespersen <t@laumann.xyz>2022-09-19 20:18:01 +0200
commitc8783da2793367a840745290b6568992f1857728 (patch)
tree4d6167e1e135b783c45d91ce32a5e8746da53790
parent3d601701adf365fcf8d6a3b9ab6015df85d5398b (diff)
Add page for session types
-rw-r--r--site/sessiontypes.md12
-rw-r--r--site/who.md2
2 files changed, 13 insertions, 1 deletions
diff --git a/site/sessiontypes.md b/site/sessiontypes.md
new file mode 100644
index 0000000..12a4acf
--- /dev/null
+++ b/site/sessiontypes.md
@@ -0,0 +1,12 @@
+# Session Types for Rust
+
+Conference paper published and presented at
+[WGP'15](https://wgp-sigplan.github.io/) in Vancouver, Canada. Affiliated with
+ICFP'15.
+
+Co-authored with [Philip Munksgaard](https://munksgaard.me) and [Ken Friis
+Larsen](http://hjemmesider.diku.dk/~kflarsen/) it is essentially a condensed
+version of the master thesis of the same name.
+
+ * Library: <https://github.com/Munksgaard/session-types>
+ * Paper: <https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf>
diff --git a/site/who.md b/site/who.md
index c60c573..d234970 100644
--- a/site/who.md
+++ b/site/who.md
@@ -9,7 +9,7 @@ Hello! I'm Thomas. Some things about me:
Some techy things I do (or have done):
- * Co-author of the Session Types for Rust [library](https://github.com/Munksgaard/session-types) and [paper](https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf)
+ * Co-author of the [Session Types for Rust](sessiontypes.html) library and paper
* Contributed a few patches to [Hare](https://harelang.org/) - most notably (in
my humble opinion) the [curve25519](https://git.sr.ht/~sircmpwn/hare/tree/master/item/crypto/curve25519/curve25519.ha) implementation
* Casual contributor to Gentoo Linux, [proxied