Nicholas Coltharp

机构：Portland State University · ORCID：0000-0002-4832-7016

发表论文 5 篇 · 总被引 4 次 · h-index 1

代表论文

• Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs (2024 · Proceedings of the ACM on Programming Languages · 被引 4)
• Unifying Hindsight and Foresight (2026 · Lecture notes in computer science)
• Using Experimentally Calibrated Regularized Stokeslets to Assess Bacterial Flagellar Motility Near a Surface (2021 · Fluids)
• Using Experimentally Calibrated Regularized Stokeslets to Assess\n Bacterial Flagellar Motility Near a Surface (2021 · arXiv (Cornell University))
• Bacterial Motility Near a Surface (2019 · APS Division of Fluid Dynamics Meeting Abstracts)