47 citations · 55 across the 14 of their papers we have counts for
1 paper · 2 filters
Gabriel Scherer, Jan Hoffmann
Type systems hide data that is captured by function closures in function types. In most cases this is a beneficial design that favors simplicity and compositionality. However, some…