Fixed some bugs related to JVM types.

7 files changed, 20 insertions, 3 deletions

diff --git a/documentation/research/Abstract interpretation.md b/documentation/research/Abstract interpretation.md
new file mode 100644
index 000000000..d98525f7c
--- /dev/null
+++ b/documentation/research/Abstract interpretation.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)
+
diff --git a/documentation/research/Code mods.md b/documentation/research/Code mods.md
new file mode 100644
index 000000000..8f90f91f6
--- /dev/null
+++ b/documentation/research/Code mods.md
@@ -0,0 +1,6 @@
+# Reference
+
+1. ["Parser Parser Combinators for Program Transformation" by Rijnard van Tonder](https://www.youtube.com/watch?v=JMZLBB_BFNg)
+1. [Codemod](https://github.com/facebook/codemod)
+1. [jscodeshift](https://github.com/facebook/jscodeshift)
+
diff --git a/documentation/research/Memory Management.md b/documentation/research/Memory Management.md
index 80f80ce12..0d761c700 100644
--- a/documentation/research/Memory Management.md
+++ b/documentation/research/Memory Management.md
@@ -1,3 +1,7 @@
+# Compaction
+
+1. ["Compacting the Uncompactable" by Bobby Powers](https://www.youtube.com/watch?v=c1UBJbfR-H0)
+
 # Reference counting
 
 1. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647)
diff --git a/documentation/research/cryptography.md b/documentation/research/cryptography.md
index 2dfe331e4..7eaf9cc9f 100644
--- a/documentation/research/cryptography.md
+++ b/documentation/research/cryptography.md
@@ -9,6 +9,7 @@
 
 # Zero-knowledge proof
 
+1. ["Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri](https://www.youtube.com/watch?v=jKSz7W5dTgY)
 1. [Zero-Knowledge Proofs: What are they, how do they work, and are they fast yet?](https://zkp.science/)
 
 # Hash
diff --git a/documentation/research/database.md b/documentation/research/database.md
index be17fb766..5c1566fbe 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -1,12 +1,12 @@
 # Reference
 
+1. ["Temporal Databases for Streaming Architectures" by Jeremy Taylor and Jon Pither](https://www.youtube.com/watch?v=ykbYNBE-V3k)
+1. ["Makings of a Modern ACID Compliant Distributed Database" by Attila Szegedi](https://www.youtube.com/watch?v=pn8mCeX3LDE)
 1. https://edgedb.com/blog/a-path-to-a-10x-database/
 1. https://cstack.github.io/db_tutorial/
 1. http://www.sql-workbench.eu/dbms_comparison.html
 1. http://www.interdb.jp/pg/index.html
-1. Foundations of Databases
-
-	http://webdam.inria.fr/Alice/
+1. [Foundations of Databases](http://webdam.inria.fr/Alice/)
 1. https://medium.com/textileio/building-the-firebase-for-crdts-7dd8dea8953a
 
 # Query
diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md
index 17f48122c..fbc6fb734 100644
--- a/documentation/research/distributed_programming.md
+++ b/documentation/research/distributed_programming.md
@@ -48,6 +48,7 @@
 
 # Programming language
 
+1. ["Unison: a new distributed programming language" by Paul Chiusano](https://www.youtube.com/watch?v=gCWtkvDQ2ZI)
 1. http://radicle.xyz/
 1. [Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason](https://www.youtube.com/watch?v=rp_Eild1aq8)
 1. https://www.infoq.com/presentations/language-design-process
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 6f481936c..326d0f6db 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -21,6 +21,7 @@
 
 # Topology
 
+1. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365)
 1. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology)
 1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html)