Newton, Ryan R.

A monad for deterministic parallelism

Marlow, S., Newton, R., & Peyton Jones, S. (2011) · Proceedings of the 4th ACM symposium on Haskell

Logic, programming, and type systemsParallel Computing and Optimization Techniques

Cited by 98

Linear Haskell: practical linearity in a higher-order polymorphic language

Bernardy, J.-P., Boespflug, M., Newton, R. R., Peyton Jones, S., & Spiwack, A. (2018) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 97

Freeze after writing

Kuper, L., Turon, A., Krishnaswami, N. R., & Newton, R. R. (2014) · Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Distributed systems and fault toleranceLogic, programming, and type systems

Cited by 46

Reproducible Containers

Navarro Leija, O. S., Shiptoski, K., Scott, R. G., Wang, B., Renner, N., Newton, R. R., & Devietti, J. (2020) · Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems

Distributed systems and fault toleranceScientific Computing and Data Management

Cited by 22

Taming the parallel effect zoo

Kuper, L., Todd, A., Tobin-Hochstadt, S., & Newton, R. R. (2014) · Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

Logic, programming, and type systemsParallel Computing and Optimization Techniques

Cited by 19