Greg Morrisett

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Polymorphism and separation in hoare type theory

Aleksandar Nanevski and others (2006) · ACM SIGPLAN International Conference on Functional Programming (ICFP)

A Language-Based Approach to Security

Fred B. Schneider and others (2001) · Lecture notes in computer science · Springer Science+Business Media

TIL: A type-directed optimizing compiler for ML

David Tarditi and others (1996) · ACM SIGPLAN Conference on Programming Language Design and Implementation