Patrick Redmond

According to our database, Patrick Redmond authored at least 7 papers between 2013 and 2023.

Collaborative distances:

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

2023

Inductive diagrams for causal reasoning.

Jonathan Castello, Patrick Redmond, Lindsey Kuper

CoRR, 2023

An Exceptional Actor System (Functional Pearl).

Patrick Redmond, Lindsey Kuper

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Verified Causal Broadcast with Liquid Haskell.

Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper

CoRR, 2022

2021

Is rapid scientific publication also high quality? Bibliometric analysis of highly disseminated COVID-19 research papers.

Amandeep Khatter, Michael Naughton, Hajira Dambha-Miller, Patrick Redmond

Learn. Publ., 2021

Toward Hole-Driven Development with Liquid Haskell.

Patrick Redmond, Gan Shen, Lindsey Kuper

CoRR, 2021

2020

Verifying replicated data types with typeclass refinements in Liquid Haskell.

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Proc. ACM Program. Lang., 2020

2013

Data driven methods for utterance semantic tagging.

Ding Liu, Anthea Cheung, Anna Margolis, Patrick Redmond, Jun-Won Suh, Chao Wang

Proceedings of the INTERSPEECH 2013, 2013