Zachary Sullivan

According to our database, Zachary Sullivan authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Intelligent Data Management Pipeline to Facilitate Human Robot Interaction in Large-Scale Real-Time Environments.

Nicholas Paul, Zachary Sullivan, Bob Marinier, Lilia Moshkina

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Closure Conversion in Little Pieces.

Zachary J. Sullivan, Paul Downen, Zena M. Ariola

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2021

Strictly capturing non-strict closures.

Zachary J. Sullivan, Paul Downen, Zena M. Ariola

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

2019

Making a faster Curry with extensional types.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Codata in Action.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the Programming Languages and Systems, 2019

2018

Arithmetical Functions Associated with the k-ary Divisors of an Integer.

Joseph Vade Burnett, Samuel Grayson, Zachary Sullivan, Richard Van Natta, Luke Bang

Int. J. Math. Math. Sci., 2018