4 citations · 4 across the 1 of their papers we have counts for
1 paper
Edward Gan, Jesse A. Tov, Greg Morrisett
Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We p…