24 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.PL2020
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
Dominique Devriese, Eric Mark Martin, Marco Patrignani
Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists)…
cs.NE2017★ 24 cited
Parallelizing Linear Recurrent Neural Nets Over Sequence Length
Eric Martin, Chris Cundy
Recurrent neural networks (RNNs) are widely used to model sequential data but their non-linear dependencies between sequence elements prevent parallelizing training over sequence l…