Ryan R. Newton

Identifiers

No identifiers captured yet.

Papers (4)

1. Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version cs.PL · 2019 · author #3
2. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #5
3. Linear Haskell: practical linearity in a higher-order polymorphic language cs.PL · 2017 · author #3
4. Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping cs.PL · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Vikraman Choudhury 2 shared papers
• Anish Tondwalkar 1 shared papers
• Arnaud Spiwack 1 shared papers
• Chao-Hong Chen 1 shared papers
• Jean-Philippe Bernardy 1 shared papers
• Kirshanthan Sundararajah 1 shared papers
• Laith Sakka 1 shared papers
• Mathieu Boespflug 1 shared papers
• Milind Kulkarni 1 shared papers
• Niki Vazou 1 shared papers
• Philip Wadler 1 shared papers
• Ranjit Jhala 1 shared papers
• Ryan G. Scott 1 shared papers
• Simon Peyton Jones 1 shared papers