Commit f6609b0e authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Cite the TrieMap idea [skip-ci]

Signed-off-by: default avatarEdward Z. Yang <>
parent 1da3bbd2
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment