5 citations · 11 across the 5 of their papers we have counts for
1 paper · 2 filters
Paolo Torrini, Tom Schrijvers
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is hi…