Search Results for 'Morrisett'

Morrisett published presentations and documents on DocSlides.

Alias Types Frederick Smith David Walker Greg Morrisett Cornell University Abstract

Alias Types Frederick Smith David Walker Greg Morrisett Cornell University Abstract

alexa-scheidler
16 Slides

Linear type systems allow destructive operations ...

Ynot Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research aleksnmicrosoft

Ynot Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research aleksnmicrosoft

olivia-moreira
12 Slides

com Greg Morrisett Avi Shinnar Paul Govereau Harva...

Copyright © 2024 DocSlides. All Rights Reserved