From fa8bb975614b5da3eb358598a1fa379911900f0d Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 22 Nov 2023 21:49:50 -0800
Subject: meow

---
 computation/modules.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 computation/modules.md

(limited to 'computation/modules.md')

diff --git a/computation/modules.md b/computation/modules.md
new file mode 100644
index 0000000..8ec4b61
--- /dev/null
+++ b/computation/modules.md
@@ -0,0 +1,24 @@
+# Modules
+
+An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with:
+- polymorphic data types
+- polymorphic interface types
+- first-class modules, that are *not* polymorphic (no functors)?
+
+## Resources
+
+Papers
+- [F-ing Modules](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/fing-modules/B573FA00832D55D4878863DE1725D90B) (2014)
+
+Posts
+- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/)
+  - [Modules Matter Most (presentation)](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf)
+- ['Modules Matter Most' for the Masses](https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html)
+- [First-Class Modules: An Introduction](https://dev.realworldocaml.org/first-class-modules.html)
+- [Exotic Programming Ideas: Module Systems](https://www.stephendiehl.com/posts/exotic01.html)
+- [A Crash Course on ML Modules](https://jozefg.bitbucket.io/posts/2015-01-08-modules.html)
+- [UW CSE 341: ML Modules](https://courses.cs.washington.edu/courses/cse341/04wi/lectures/09-ml-modules.html)
+
+Books
+- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems]()
+
-- 
cgit v1.2.3-70-g09d2