Add: Add a bibliography in README

coord-e · Nov 17, 2019 · c107151 · c107151
1 parent 4b8e808
commit c107151
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -92,3 +92,7 @@ I've implemented this as two-pass compilation just for simplicity.
 A. No.
 
 AFAIK, higher order unification is required to introduce HKT in a system with type lambdas. To keep simplicity, I didn't implemented that.
+
+## Bibliography
+
+- Wadler, Philip, and Stephen Blott. "How to make ad-hoc polymorphism less ad hoc." Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1989.