Concepedia

Dimitrios Vytiniotis

DV

40

Publications

2.3K

Citations

24

H-Index

2005

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

University of Pennsylvania

California University of Pennsylvania

Chalmers University of Technology

Dimitrios Vytiniotis is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

2005–2020

40

Publications

40

Simple unification-based type inference for GADTs

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 335 citations

, , +13

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · 2014 · 239 citations

, , +12

Practical type inference for arbitrary-rank types

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · Journal of Functional Programming · 2006 · 209 citations · Full text

, , +14

Giving Haskell a promotion

Brent A. Yorgey, Stephanie Weirich, Julien Cretin et al. · 2012 · 172 citations · Full text

<scp>OutsideIn(X)</scp>Modular type inference with local assumptions

Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers et al. · Journal of Functional Programming · 2011 · 131 citations · Full text

, , +11

Rows per page

1–5 of 40