85 citations · 103 across the 13 of their papers we have counts for
1 paper · 2 filters
Guyslain Naves, Arnaud Spiwack
Starting with an algorithm to turn lists into full trees which uses non-obvious invariants and partial functions, we progressively encode the invariants in the types of the data, r…