51 citations · 113 across the 16 of their papers we have counts for
Showing 2013 · cs.PLShow all
2 papers · 2 filters
cs.PL2013
Tracking Data-Flow with Open Closure Types
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…
cs.PL2013
GADTs meet subtyping
Gabriel Scherer, Didier Rémy
While generalized algebraic datatypes (\GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mea…