Search Results for 'Vytiniotis'

Vytiniotis published presentations and documents on DocSlides.

Type inference in type-based verification

by emery

Dimitrios Vytiniotis, Microsoft Research. dimitris...

UnderconsiderationforpublicationinJFunctionalProgramming1Practicaltype

by unita

AbstractHaskellspopularityhasdriventheneedforeverm...

Let Should Not Be Generalised Dimitrios Vytiniotis Microsoft Research Cambridge UK dimitrismicrosoft

by karlyn-bohler

com Simon Peyton Jones Microsoft Research Cambridg...