Vytiniotis, Dimitrios

Simple unification-based type inference for GADTs

Peyton Jones, S., Vytiniotis, D., Weirich, S., & Washburn, G. (2006) · Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

Logic, programming, and type systemsAdvanced Database Systems and Queries

Cited by 335

Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Comanici, G., Bieber, E., Schaekermann, M., Pasupat, I., Sachdeva, N., Dhillon, I., Blistein, M., Ram, O., Zhang, D., Rosen, E., et al. (2025) · arXiv

Multimodal Machine Learning ApplicationsTopic Modeling

Cited by 69