59 citations · 92 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
Focusing on Refinement Typing
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
We present a logically principled foundation for systematizing, in a way that works with any computational effect and evaluation order, SMT constraint generation seen in refinement…
cs.PL2022★ 4 cited
Implicit Polarized F: local type inference for impredicativity
Henry Mercer, Cameron Ramsay, Neel Krishnaswami
System F, the polymorphic lambda calculus, features the principle of impredicativity: polymorphic types may be (explicitly) instantiated at other types, enabling many powerful idio…