59 citations · 92 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 59 cited
Bidirectional Typing
Jana Dunfield, Neel Krishnaswami
Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program.…
cs.PL2019★ 11 cited
Recovering Purity with Comonads and Capabilities
Vikraman Choudhury, Neel Krishnaswami
In this paper, we take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types. Our key observ…