Search Results for 'morrisett'

morrisett published presentations and documents on DocSlides.

Alias Types Frederick Smith David Walker Greg Morrisett Cornell University Abstract

by alexa-scheidler

Linear type systems allow destructive operations ...

Ynot Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research aleksnmicrosoft

by olivia-moreira

com Greg Morrisett Avi Shinnar Paul Govereau Harva...