Thomas Porter

According to our database, Thomas Porter authored at least 7 papers between 1975 and 2025.

Collaborative distances:

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

2025

Incremental Bidirectional Typing via Order Maintenance.

Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar

CoRR, April, 2025

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus.

Michael D. Adams, Eric Griffis, Thomas Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar

Proc. ACM Program. Lang., 2025

2024

Polymorphism with Typed Holes.

Adam Chen, Thomas Porter, Cyrus Omar

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2022

Automatic Error Analysis for Document-level Information Extraction.

Aliva Das, Xinya Du, Barry Wang, Kejian Shi, Jiayuan Gu, Thomas Porter, Claire Cardie

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2020

In-Situ LED-Based Observation of Snow Surface and Depth Transects.

Celeste Barnes, Chris Hopkinson, Thomas Porter, Zhouxin Xi

Sensors, 2020

2009

Identifying Diabetic Patients: A Data Mining Approach.

Thomas Porter, Barbara Green

Proceedings of the 15th Americas Conference on Information Systems, 2009

1975

Random Insertion into a Priority Queue Structure.

Thomas Porter, István Simon

IEEE Trans. Software Eng., 1975