59 citations · 92 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Proceedings 6th Workshop on Mathematically Structured Functional Programming
Robert Atkey, Neelakantan Krishnaswami
The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of The…
cs.PL2016
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
Jana Dunfield, Neelakantan R. Krishnaswami
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its applicability to a variety of type systems, its…