Terrance Gray

According to our database, Terrance Gray authored at least 2 papers between 2019 and 2024.

Collaborative distances:

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

2024

Binding Contexts as Partitionable Multisets in Abella.

Terrance Gray, Gopalan Nadathur

Proceedings of the Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2024

2019

Explaining Decision-Making Algorithms through UI: Strategies to Help Non-Expert Stakeholders.

Hao Fei Cheng, Ruotong Wang, Zheng Zhang, Fiona O'Connell, Terrance Gray, F. Maxwell Harper, Haiyi Zhu

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019