Cite the TrieMap idea [skip-ci]
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 2 Mar 2015 22:54:30 +0000 (14:54 -0800)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 2 Mar 2015 22:54:30 +0000 (14:54 -0800)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/coreSyn/TrieMap.hs

index 96db166..dad00e1 100644 (file)
@@ -47,6 +47,12 @@ The code is very regular and boilerplate-like, but there is
 some neat handling of *binders*.  In effect they are deBruijn
 numbered on the fly.
 
+The regular pattern for handling TrieMaps on data structures was first
+described (to my knowledge) in Connelly and Morris's 1995 paper "A
+generalization of the Trie Data Structure"; there is also an accessible
+description of the idea in Okasaki's book "Purely Functional Data
+Structures", Section 10.3.2
+
 ************************************************************************
 *                                                                      *
                    The TrieMap class