flix
diff --git a/‎public/paper/cc2018.pdf‎
-691 KB b/‎public/paper/cc2018.pdf‎
-691 KB
diff --git a/‎public/paper/datalog2022.pdf‎
-1.08 MB b/‎public/paper/datalog2022.pdf‎
-1.08 MB
diff --git a/‎public/paper/issta2018.pdf‎
-736 KB b/‎public/paper/issta2018.pdf‎
-736 KB
diff --git a/‎public/paper/onward2022.pdf‎
-620 KB b/‎public/paper/onward2022.pdf‎
-620 KB
diff --git a/‎public/paper/oopsla2020a.pdf‎
-327 KB b/‎public/paper/oopsla2020a.pdf‎
-327 KB
diff --git a/‎public/paper/oopsla2020b.pdf‎
-530 KB b/‎public/paper/oopsla2020b.pdf‎
-530 KB
diff --git a/‎public/paper/oopsla2021.pdf‎
-713 KB b/‎public/paper/oopsla2021.pdf‎
-713 KB
diff --git a/‎public/paper/pldi2016.pdf‎
-519 KB b/‎public/paper/pldi2016.pdf‎
-519 KB
diff --git a/‎public/paper/ppdp2018.pdf‎
-836 KB b/‎public/paper/ppdp2018.pdf‎
-836 KB
diff --git a/‎public/talks/dahl-nygaard.pdf‎
-2.6 MB b/‎public/talks/dahl-nygaard.pdf‎
-2.6 MB